Revision: 145061 https://trac.macports.org/changeset/145061 Author: khindenburg@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