mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-15 07:56:36 +00:00
Code Issues Releases Activity

- Update to 8.1pl3

Browse Source 
- Take advantage of USE_OCAML
- Update MASTER_SITES
This commit is contained in:
Johan van Selst 2008-04-06 17:40:47 +00:00
parent da2106f0e3
commit 38bf66f22a
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=210667
3 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
math/coq/Makefile
View File

@ -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

6
math/coq/distinfo
View File

@ -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

1
math/coq/pkg-plist
View File

@ -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