[47219] trunk/dports/lang/coq/Portfile
alakazam at macports.org
alakazam at macports.org
Mon Feb 23 11:45:19 PST 2009
Revision: 47219
http://trac.macports.org/changeset/47219
Author: alakazam at macports.org
Date: 2009-02-23 11:45:19 -0800 (Mon, 23 Feb 2009)
Log Message:
-----------
Update to Coq 8.2. Closes #18536 (maintainer timeout).
Modified Paths:
--------------
trunk/dports/lang/coq/Portfile
Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile 2009-02-23 18:52:03 UTC (rev 47218)
+++ trunk/dports/lang/coq/Portfile 2009-02-23 19:45:19 UTC (rev 47219)
@@ -3,7 +3,7 @@
PortSystem 1.0
name coq
-version 8.1pl3
+version 8.2
categories lang math
maintainers reilles at loria.fr
homepage http://coq.inria.fr/
@@ -16,10 +16,9 @@
their formal specification. It is developed using Objective Caml and \
Camlp4. For more information, see <${homepage}>.
-checksums \
- md5 84311faf7865b2eab964990cdb365dca \
- sha1 c06141891c2a793ff6b4bc1f106d9477b3a9a52e \
- rmd160 f8f4749e1014cb47a83915550713cf9ce1992e34
+checksums md5 077c027e0f69e8ea240206ceb0f0d003 \
+ sha1 cac79093f1639c309b400aced13c749f278abbea \
+ rmd160 fb8506fa0c469a428a43649a13819bc18949570e
use_parallel_build yes
configure.pre_args -prefix ${prefix}
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090223/b22c77eb/attachment.html>
More information about the macports-changes
mailing list