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

[ryandesign at macports.org]

Revision: 120266
          https://trac.macports.org/changeset/120266
Author:   ryandesign at macports.org
Date:     2014-05-20 21:39:44 -0700 (Tue, 20 May 2014)
Log Message:
-----------
coq: update to 8.4pl4; new maintainer (#43770)

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

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2014-05-21 04:33:02 UTC (rev 120265)
+++ trunk/dports/lang/coq/Portfile	2014-05-21 04:39:44 UTC (rev 120266)
@@ -4,11 +4,11 @@
 PortSystem          1.0
 
 name                coq
-version             8.4pl3
+version             8.4pl4
 platforms           darwin
 categories          lang math
 license             LGPL-2.1
-maintainers         nomaintainer
+maintainers         piermont.com:perry
 
 description         Proof assistant for higher-order logic
 long_description    Coq is a proof assistant for higher-order logic, \
@@ -21,8 +21,8 @@
                     port:camlp5
 
 master_sites        http://coq.inria.fr/distrib/V${version}/files/
-checksums           rmd160  6b4e077f0aaa130df9214d6a20be94adca838da5 \
-                    sha256  97583d637f981c5554007f4e99ce6420ebc737186b1d021bd71766fd891cfb38
+checksums           rmd160  19e3fe905f5db09710b1f862f21e9b57c28f9704 \
+                    sha256  06c3aeab7819eed8f35ce794c887a70cf3b4f6b71ee52cd3110fb4e526717f01
 
 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/20140520/6418d75b/attachment.html>