Revision: 94778 https://trac.macports.org/changeset/94778 Author: mww@macports.org Date: 2012-06-29 09:42:37 -0700 (Fri, 29 Jun 2012) Log Message: ----------- coq: version 8.3pl4 Modified Paths: -------------- trunk/dports/lang/coq/Portfile Modified: trunk/dports/lang/coq/Portfile =================================================================== --- trunk/dports/lang/coq/Portfile 2012-06-29 16:21:57 UTC (rev 94777) +++ trunk/dports/lang/coq/Portfile 2012-06-29 16:42:37 UTC (rev 94778) @@ -3,7 +3,7 @@ PortSystem 1.0 name coq -version 8.3pl2 +version 8.3pl4 platforms darwin categories lang math license LGPL-2.1 @@ -18,8 +18,8 @@ their formal specification. It is developed using Objective Caml and \ Camlp4. For more information, see <${homepage}>. -checksums rmd160 f59ee288a35c1009f88f050362bee21311b459a8 \ - sha256 b82b44ec585903b6bfadca02008eb5549cda46038c776ec115bc408c4e0f34f1 +checksums rmd160 ed6dc4516210667707b9206aeaef260ce6bef7ef \ + sha256 79f26cee0f9eb0bea376ff7eca4e9b9cbcacd179a264cb550e39e20a59a5a39d use_parallel_build yes configure.pre_args -prefix ${prefix}