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

[khindenburg at macports.org]

Revision: 145061
          https://trac.macports.org/changeset/145061
Author:   khindenburg at macports.org
Date:     2016-01-24 17:07:41 -0800 (Sun, 24 Jan 2016)
Log Message:
-----------
coq: update to 8.5 maintainer #50428

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

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2016-01-24 23:52:52 UTC (rev 145060)
+++ trunk/dports/lang/coq/Portfile	2016-01-25 01:07:41 UTC (rev 145061)
@@ -4,12 +4,11 @@
 PortSystem          1.0
 
 name                coq
-version             8.4pl6
-revision            1
+version             8.5
 platforms           darwin
 categories          lang math
 license             LGPL-2.1
-maintainers         piermont.com:perry
+maintainers         piermont.com:perry openmaintainer
 
 description         Proof assistant for higher-order logic
 long_description    Coq is a proof assistant for higher-order logic, \
@@ -22,14 +21,14 @@
                     port:camlp5
 
 master_sites        http://coq.inria.fr/distrib/V${version}/files/
-checksums           rmd160  f57f6e5732d3977f3346dda2749f4b9628604018 \
-                    sha256  a540a231a9970a49353ca039f3544616ff86a208966ab1c593779ae13c91ebd6
+checksums           rmd160  551d35ac96436d98112fa1a17bcc075ee307c627 \
+                    sha256  89a92fb8b91e7cb0797d41c87cd13e4b63bee76c32a6dcc3d7c8055ca6a9ae3d
 
 configure.pre_args  -prefix ${prefix}
 configure.args      -emacslib ${prefix}/share/emacs/site-lisp/ \
                     -mandir ${prefix}/share/man \
                     -coqdocdir ${prefix}/share/coq/latex \
-                    -coqide none \
+                    -coqide no \
                     -with-doc no
 build.target        world
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20160124/b19bdef8/attachment.html>