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

[cal at macports.org]

Revision: 150370
          https://trac.macports.org/changeset/150370
Author:   cal at macports.org
Date:     2016-07-18 13:33:02 -0700 (Mon, 18 Jul 2016)
Log Message:
-----------
coq: 8.5pl2, maintainer, closes #51867

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

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2016-07-18 20:24:58 UTC (rev 150369)
+++ trunk/dports/lang/coq/Portfile	2016-07-18 20:33:02 UTC (rev 150370)
@@ -4,7 +4,7 @@
 PortSystem          1.0
 
 name                coq
-version             8.5pl1
+version             8.5pl2
 platforms           darwin
 categories          lang math
 license             LGPL-2.1
@@ -21,8 +21,8 @@
                     port:camlp5
 
 master_sites        http://coq.inria.fr/distrib/V${version}/files/
-checksums           rmd160  04c540ab1033fd6b0e4c121b73ed56557708e7a5 \
-                    sha256  4bfa75b10ae1be61301d0f7bc087b7c24e0b8bd025dd358c75709ac04ddd5df0
+checksums           rmd160  55ddf2e77b42677c227fd9954789bf12410c63e7 \
+                    sha256  83239d1251bf6c54a9ca5045d738e469019b93ca601756bf982aab0654e4de73
 
 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/20160718/d18687f7/attachment.html>