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

[mf2k at macports.org]

Revision: 148091
          https://trac.macports.org/changeset/148091
Author:   mf2k at macports.org
Date:     2016-04-26 15:28:43 -0700 (Tue, 26 Apr 2016)
Log Message:
-----------
coq: Update to version 8.5pl1. (#51229)

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

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2016-04-26 22:28:28 UTC (rev 148090)
+++ trunk/dports/lang/coq/Portfile	2016-04-26 22:28:43 UTC (rev 148091)
@@ -4,7 +4,7 @@
 PortSystem          1.0
 
 name                coq
-version             8.5
+version             8.5pl1
 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  551d35ac96436d98112fa1a17bcc075ee307c627 \
-                    sha256  89a92fb8b91e7cb0797d41c87cd13e4b63bee76c32a6dcc3d7c8055ca6a9ae3d
+checksums           rmd160  04c540ab1033fd6b0e4c121b73ed56557708e7a5 \
+                    sha256  4bfa75b10ae1be61301d0f7bc087b7c24e0b8bd025dd358c75709ac04ddd5df0
 
 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/20160426/1bffab7c/attachment-0001.html>