diff options
| -rw-r--r-- | math/coq/Makefile | 7 | ||||
| -rw-r--r-- | math/coq/distinfo | 6 | ||||
| -rw-r--r-- | math/coq/pkg-plist | 1 |
3 files changed, 7 insertions, 7 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index ac818b28428b..0ff77786ee2c 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -6,17 +6,16 @@ # PORTNAME= coq -PORTVERSION= 8.1.1 +PORTVERSION= 8.1.3 CATEGORIES= math -MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V${COQVERSION}/ \ +MASTER_SITES= http://coq.inria.fr/V${COQVERSION}/files/ \ ftp://ftp.stack.nl/pub/users/johans/coq/ DISTNAME= ${PORTNAME}-${COQVERSION} MAINTAINER= johans@stack.nl COMMENT= Theorem prover based on lambda-C -BUILD_DEPENDS= ocamlc:${PORTSDIR}/lang/ocaml - +USE_OCAML= yes USE_GMAKE= yes ALL_TARGET= world WITH_IDE= yes diff --git a/math/coq/distinfo b/math/coq/distinfo index 3ba686a1caac..8249b65905b5 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -1,3 +1,3 @@ -MD5 (coq-8.1pl1.tar.gz) = 4d0e393b6c62bb4508aa454878c9e8ab -SHA256 (coq-8.1pl1.tar.gz) = 04ffc9c5a31953af6294753118dbb2e41b6aa5aaa5a41f7cf2648afff98f4940 -SIZE (coq-8.1pl1.tar.gz) = 2984726 +MD5 (coq-8.1pl3.tar.gz) = 84311faf7865b2eab964990cdb365dca +SHA256 (coq-8.1pl3.tar.gz) = 7f8f45594adff2625312c5ecb144cb00d39c99201dac309c9286b34d01a36bb6 +SIZE (coq-8.1pl3.tar.gz) = 3003593 diff --git a/math/coq/pkg-plist b/math/coq/pkg-plist index d2a74cb4fb2c..c71de746ffc8 100644 --- a/math/coq/pkg-plist +++ b/math/coq/pkg-plist @@ -75,6 +75,7 @@ lib/coq/contrib/subtac/Utils.vo @dirrm lib/coq/contrib lib/coq/contrib.cma lib/coq/contrib.cmxa +lib/coq/grammar.cma lib/coq/highparsing.cma lib/coq/highparsing.cmxa lib/coq/hightactics.cma |