Changeset View
Changeset View
Standalone View
Standalone View
math/coq/Makefile
Context not available. | |||||
PORTNAME= coq | PORTNAME= coq | ||||
PORTVERSION= 8.4.5 | PORTVERSION= 8.4.5 | ||||
PORTEPOCH= 1 | PORTEPOCH= 2 | ||||
CATEGORIES= math | CATEGORIES= math | ||||
MASTER_SITES= http://coq.inria.fr/distrib/V${COQVERSION}/files/ \ | MASTER_SITES= http://coq.inria.fr/distrib/V${COQVERSION}/files/ \ | ||||
ftp://ftp.stack.nl/pub/users/johans/coq/ | ftp://ftp.stack.nl/pub/users/johans/coq/ | ||||
Context not available. |