[98282] trunk/dports/lang/coq/Portfile

[cal at macports.org]

Revision: 98282
          http://trac.macports.org//changeset/98282
Author:   cal at macports.org
Date:     2012-10-01 12:46:57 -0700 (Mon, 01 Oct 2012)
Log Message:
-----------
coq: update to 8.4, closes #36005, maintainer timeout

Modified Paths:
--------------
    trunk/dports/lang/coq/Portfile

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2012-10-01 19:29:02 UTC (rev 98281)
+++ trunk/dports/lang/coq/Portfile	2012-10-01 19:46:57 UTC (rev 98282)
@@ -3,7 +3,7 @@
 PortSystem  1.0
 
 name        coq
-version     8.3pl4
+version     8.4
 revision    1
 platforms   darwin
 categories  lang math
@@ -19,10 +19,11 @@
   their formal specification. It is developed using Objective Caml and \
   Camlp4.  For more information, see <${homepage}>.
 
-checksums           rmd160  ed6dc4516210667707b9206aeaef260ce6bef7ef \
-                    sha256  79f26cee0f9eb0bea376ff7eca4e9b9cbcacd179a264cb550e39e20a59a5a39d
+checksums           rmd160  6824f9542c823c7d943a59acefb90ff9c9dbe37a \
+                    sha256  f46ae5b6f0bea9dc299de6f3c020ee75c40581e32a1832e9a290d098a6a2424d
 
 # coq 8.3pl4 is incompatible with OCaml 4.00 -- for now use ocaml3
+# TODO: verify if this is still the case
 depends_lib        port:ocaml3 port:ocaml3-camlp5
 
 configure.env-append PATH=${prefix}/libexec/ocaml3:$env(PATH)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20121001/11b5bfca/attachment.html>