[137763] trunk/dports/lang/coq/Portfile
larryv at macports.org
larryv at macports.org
Thu Jun 18 18:21:09 PDT 2015
Revision: 137763
https://trac.macports.org/changeset/137763
Author: larryv at macports.org
Date: 2015-06-18 18:21:09 -0700 (Thu, 18 Jun 2015)
Log Message:
-----------
coq: Update to 8.4pl6 (#48097)
Modified Paths:
--------------
trunk/dports/lang/coq/Portfile
Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile 2015-06-18 20:51:55 UTC (rev 137762)
+++ trunk/dports/lang/coq/Portfile 2015-06-19 01:21:09 UTC (rev 137763)
@@ -4,8 +4,7 @@
PortSystem 1.0
name coq
-version 8.4pl5
-revision 0
+version 8.4pl6
platforms darwin
categories lang math
license LGPL-2.1
@@ -22,8 +21,8 @@
port:camlp5
master_sites http://coq.inria.fr/distrib/V${version}/files/
-checksums rmd160 352ee5778605e9740b2d4ae4586933102beb43f2 \
- sha256 35815ab78a58d72799eacaab155427620ab071677882ca6c98d7bfec97d25245
+checksums rmd160 f57f6e5732d3977f3346dda2749f4b9628604018 \
+ sha256 a540a231a9970a49353ca039f3544616ff86a208966ab1c593779ae13c91ebd6
configure.pre_args -prefix ${prefix}
configure.args -emacslib ${prefix}/share/emacs/site-lisp/ \
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20150618/7ae20efb/attachment.html>
More information about the macports-changes
mailing list