[94778] trunk/dports/lang/coq/Portfile

[mww at macports.org]

Revision: 94778
          https://trac.macports.org/changeset/94778
Author:   mww at macports.org
Date:     2012-06-29 09:42:37 -0700 (Fri, 29 Jun 2012)
Log Message:
-----------
coq: version 8.3pl4

Modified Paths:
--------------
    trunk/dports/lang/coq/Portfile

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2012-06-29 16:21:57 UTC (rev 94777)
+++ trunk/dports/lang/coq/Portfile	2012-06-29 16:42:37 UTC (rev 94778)
@@ -3,7 +3,7 @@
 PortSystem  1.0
 
 name        coq
-version     8.3pl2
+version     8.3pl4
 platforms   darwin
 categories  lang math
 license     LGPL-2.1
@@ -18,8 +18,8 @@
   their formal specification. It is developed using Objective Caml and \
   Camlp4.  For more information, see <${homepage}>.
 
-checksums           rmd160  f59ee288a35c1009f88f050362bee21311b459a8 \
-                    sha256  b82b44ec585903b6bfadca02008eb5549cda46038c776ec115bc408c4e0f34f1
+checksums           rmd160  ed6dc4516210667707b9206aeaef260ce6bef7ef \
+                    sha256  79f26cee0f9eb0bea376ff7eca4e9b9cbcacd179a264cb550e39e20a59a5a39d
 
 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/20120629/afe9ed7c/attachment.html>