Changeset View
Changeset View
Standalone View
Standalone View
math/coq/Makefile
# $FreeBSD$ | # $FreeBSD$ | ||||
PORTNAME= coq | PORTNAME= coq | ||||
PORTVERSION= 8.6 | PORTVERSION= 8.6 | ||||
PORTREVISION= 4 | PORTREVISION= 5 | ||||
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} | 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 | ||||
▲ Show 20 Lines • Show All 52 Lines • Show Last 20 Lines |