[104985] trunk/dports/lang/coq/Portfile
cal at macports.org
cal at macports.org
Sat Apr 6 10:22:03 PDT 2013
Revision: 104985
https://trac.macports.org/changeset/104985
Author: cal at macports.org
Date: 2013-04-06 10:22:03 -0700 (Sat, 06 Apr 2013)
Log Message:
-----------
coq: update to 8.4pl2, closes #38696
Modified Paths:
--------------
trunk/dports/lang/coq/Portfile
Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile 2013-04-06 16:06:21 UTC (rev 104984)
+++ trunk/dports/lang/coq/Portfile 2013-04-06 17:22:03 UTC (rev 104985)
@@ -3,8 +3,7 @@
PortSystem 1.0
name coq
-version 8.4pl1
-revision 1
+version 8.4pl2
platforms darwin
categories lang math
license LGPL-2.1
@@ -19,8 +18,8 @@
their formal specification. It is developed using Objective Caml and \
Camlp4. For more information, see <${homepage}>.
-checksums rmd160 fa472852de474ed5b83ddd4bd5a303f32b5dba94 \
- sha256 5d0e4553ab50677a94b4d5ca1650a90718e9362082a649ba95be4010390a0f80
+checksums rmd160 4860eaff4c8f0a235d3fcf162199eaa5fe1db2da \
+ sha256 fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8
depends_lib port:ocaml port:camlp5
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20130406/9e9a5717/attachment.html>
More information about the macports-changes
mailing list