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

[larryv at macports.org]

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>