[115010] trunk/dports/lang/coq/Portfile
larryv at macports.org
larryv at macports.org
Sat Dec 21 21:45:07 PST 2013
Revision: 115010
https://trac.macports.org/changeset/115010
Author: larryv at macports.org
Date: 2013-12-21 21:45:07 -0800 (Sat, 21 Dec 2013)
Log Message:
-----------
coq: Update to 8.4pl3 (#41877).
Modified Paths:
--------------
trunk/dports/lang/coq/Portfile
Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile 2013-12-22 00:40:04 UTC (rev 115009)
+++ trunk/dports/lang/coq/Portfile 2013-12-22 05:45:07 UTC (rev 115010)
@@ -3,8 +3,7 @@
PortSystem 1.0
name coq
-version 8.4pl2
-revision 1
+version 8.4pl3
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 4860eaff4c8f0a235d3fcf162199eaa5fe1db2da \
- sha256 fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8
+checksums rmd160 d34331d4c61afca9436219d643da0eb7ccf67969 \
+ sha256 fcc0dc1c90485e6d5c90a0f99789a7ab50fcba49156f975f106b8ab5731a21e3
depends_lib port:ocaml port:camlp5
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20131221/63672b74/attachment.html>
More information about the macports-changes
mailing list