diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2006-03-16 15:31:23 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2006-03-16 15:31:23 +0000 |
| commit | 706b4dbbee764076157c0bf0b90c7f7d5638542c (patch) | |
| tree | 30295fcaf9a5a98d27b0013f63c04e21610fc470 /math/coq | |
| parent | 34e26774f0dd01b410f7fef29fb3b68338154a52 (diff) | |
Notes
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/Makefile | 14 | ||||
| -rw-r--r-- | math/coq/distinfo | 12 | ||||
| -rw-r--r-- | math/coq/pkg-plist | 9 |
3 files changed, 15 insertions, 20 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index bfe6e3d809dc..624f7a7f2e2f 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -6,12 +6,12 @@ # PORTNAME= coq -PORTVERSION= 8.0p2 -PORTREVISION= 1 +PORTVERSION= 8.0p3 CATEGORIES= math -MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/ -DISTNAME= coq-8.0pl2 -PATCHFILES= patch-coq-8.0pl2-ocaml-3.09 +MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl3/ +DISTNAME= coq-8.0pl3 + +PATCHFILES= patch-coq-8.0pl3-ocaml-3.09 PATCH_SITES= ${MASTER_SITES} MAINTAINER= ports@FreeBSD.org @@ -19,8 +19,6 @@ COMMENT= Theorem prover based on lambda-C BUILD_DEPENDS= ocamlc:${PORTSDIR}/lang/ocaml -BROKEN= Does not build - USE_GMAKE= yes ALL_TARGET= world WITH_IDE= yes @@ -36,7 +34,7 @@ PORTDOCS= CHANGES COPYRIGHT CREDITS INSTALL LICENSE README .include <bsd.port.pre.mk> .if ${ARCH} == "ia64" -BROKEN= "OCaml bug prevents compilation" +BROKEN= OCaml bug prevents compilation .endif .if defined(WITH_IDE) || exists(${LOCALBASE}/bin/lablgtk2) diff --git a/math/coq/distinfo b/math/coq/distinfo index cdadc0618b43..ec1164b41db4 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -1,6 +1,6 @@ -MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79 -SHA256 (coq-8.0pl2.tar.gz) = 95e0180b560dd3efc006dd88f4996b5b2dca70d895b058be8e1def490c52842b -SIZE (coq-8.0pl2.tar.gz) = 2285855 -MD5 (patch-coq-8.0pl2-ocaml-3.09) = 9a53dc19f345c6c9df9fb18a5f28d8d6 -SHA256 (patch-coq-8.0pl2-ocaml-3.09) = f81eec6b1e39760795015dd954c49c39aef0b4d29409fe866f5f6299f0a5f75f -SIZE (patch-coq-8.0pl2-ocaml-3.09) = 818 +MD5 (coq-8.0pl3.tar.gz) = c98d4cefd119accb1ecdeebb41128822 +SHA256 (coq-8.0pl3.tar.gz) = 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c +SIZE (coq-8.0pl3.tar.gz) = 2309002 +MD5 (patch-coq-8.0pl3-ocaml-3.09) = 5e1187201c86d8b00a82bf15992e0162 +SHA256 (patch-coq-8.0pl3-ocaml-3.09) = 1d71c6e39342c109c9161c037b5db84fb3caf5ee02171b492a703153b3bbc2e1 +SIZE (patch-coq-8.0pl3-ocaml-3.09) = 29634 diff --git a/math/coq/pkg-plist b/math/coq/pkg-plist index 1d50d11cdbd1..bbf360cffa81 100644 --- a/math/coq/pkg-plist +++ b/math/coq/pkg-plist @@ -78,7 +78,8 @@ lib/coq/contrib7/romega/ReflOmegaCore.vo @dirrm lib/coq/contrib7 lib/coq/ide/.coqide-gtk2rc lib/coq/ide/FAQ -lib/coq/ide/coq.png +lib/coq/ide/coq.ico +lib/coq/ide/coq2.ico lib/coq/ide/utf8.v lib/coq/ide/utf8.vo @dirrm lib/coq/ide @@ -516,8 +517,4 @@ lib/coq/theories7/ZArith/zarith_aux.vo @dirrm lib/coq share/emacs/site-lisp/coq-inferior.el share/emacs/site-lisp/coq.el -share/texmf/tex/latex/misc/coqdoc.sty -@dirrmtry share/texmf/tex/latex/misc -@dirrmtry share/texmf/tex/latex -@dirrmtry share/texmf/tex -@dirrmtry share/texmf +share/emacs/site-lisp/coqdoc.sty |