Changeset View
Changeset View
Standalone View
Standalone View
math/coq/Makefile
# $FreeBSD$ | # $FreeBSD$ | ||||
PORTNAME= coq | PORTNAME= coq | ||||
PORTVERSION= 8.6 | PORTVERSION= 8.6 | ||||
PORTREVISION= 1 | PORTREVISION= 1 | ||||
PORTEPOCH= 3 | PORTEPOCH= 3 | ||||
CATEGORIES= math | CATEGORIES= math | ||||
MASTER_SITES= http://coq.inria.fr/distrib/V${PORTVERSION}/files/ \ | MASTER_SITES= http://coq.inria.fr/distrib/V${PORTVERSION}/files/ \ | ||||
ftp://ftp.stack.nl/pub/users/johans/coq/ | ftp://ftp.stack.nl/pub/users/johans/coq/ | ||||
PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} | |||||
MAINTAINER= hrs@FreeBSD.org | MAINTAINER= hrs@FreeBSD.org | ||||
COMMENT= Theorem prover based on lambda-C | COMMENT= Theorem prover based on lambda-C | ||||
LICENSE= LGPL21 | LICENSE= LGPL21 | ||||
LICENSE_FILE= ${WRKSRC}/LICENSE | LICENSE_FILE= ${WRKSRC}/LICENSE | ||||
BUILD_DEPENDS= camlp5:devel/ocaml-camlp5 \ | BUILD_DEPENDS= camlp5:devel/ocaml-camlp5 \ | ||||
▲ Show 20 Lines • Show All 47 Lines • Show Last 20 Lines |