Modified: trunk/dports/lang/coq/Portfile (98281 => 98282)

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