diff options
Diffstat (limited to 'math')
| -rw-r--r-- | math/coq/Makefile | 8 | ||||
| -rw-r--r-- | math/coq/distinfo | 6 | ||||
| -rw-r--r-- | math/coq/pkg-plist | 2 |
3 files changed, 10 insertions, 6 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 42d11f84a923..ac818b28428b 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -6,10 +6,11 @@ # PORTNAME= coq -PORTVERSION= 8.1 -PORTREVISION= 1 +PORTVERSION= 8.1.1 CATEGORIES= math -MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V${PORTVERSION}/ +MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V${COQVERSION}/ \ + ftp://ftp.stack.nl/pub/users/johans/coq/ +DISTNAME= ${PORTNAME}-${COQVERSION} MAINTAINER= johans@stack.nl COMMENT= Theorem prover based on lambda-C @@ -26,6 +27,7 @@ CONFIGURE_ARGS+= --emacslib ${PREFIX}/share/emacs/site-lisp CONFIGURE_ARGS+= --reals all CONFIGURE_ARGS+= --opt +COQVERSION= ${PORTVERSION:R}pl${PORTVERSION:E} PORTDOCS= CHANGES COPYRIGHT CREDITS INSTALL LICENSE README .include <bsd.port.pre.mk> diff --git a/math/coq/distinfo b/math/coq/distinfo index 99d9b62078a9..3ba686a1caac 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -1,3 +1,3 @@ -MD5 (coq-8.1.tar.gz) = 33668f73d30fda58c92b0a9f5b0b8329 -SHA256 (coq-8.1.tar.gz) = b8362e532ad8e464b5bf5bdce45c4cef5109fd0957f396373af7e1ab023e9ae4 -SIZE (coq-8.1.tar.gz) = 2977142 +MD5 (coq-8.1pl1.tar.gz) = 4d0e393b6c62bb4508aa454878c9e8ab +SHA256 (coq-8.1pl1.tar.gz) = 04ffc9c5a31953af6294753118dbb2e41b6aa5aaa5a41f7cf2648afff98f4940 +SIZE (coq-8.1pl1.tar.gz) = 2984726 diff --git a/math/coq/pkg-plist b/math/coq/pkg-plist index 03e6f7b72be1..d2a74cb4fb2c 100644 --- a/math/coq/pkg-plist +++ b/math/coq/pkg-plist @@ -67,7 +67,9 @@ lib/coq/contrib/setoid_ring/ZArithRing.vo @dirrm lib/coq/contrib/setoid_ring lib/coq/contrib/subtac/FixSub.vo lib/coq/contrib/subtac/FunctionalExtensionality.vo +lib/coq/contrib/subtac/Heq.vo lib/coq/contrib/subtac/Subtac.vo +lib/coq/contrib/subtac/SubtacTactics.vo lib/coq/contrib/subtac/Utils.vo @dirrm lib/coq/contrib/subtac @dirrm lib/coq/contrib |