Return to Makefile CVS log | Up to [cvs.NetBSD.org] / pkgsrc / lang / coq |
Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. |
version 1.12, 2006/01/27 19:22:58 | version 1.13, 2006/02/05 23:09:44 | ||
---|---|---|---|
|
|
||
# | # | ||
DISTNAME= coq-8.0pl3 | DISTNAME= coq-8.0pl3 | ||
PKGREVISION= 1 | |||
CATEGORIES= lang math | CATEGORIES= lang math | ||
MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl3/ | MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl3/ | ||