[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