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

[dports at macports.org]

Revision: 87727
          http://trac.macports.org/changeset/87727
Author:   dports at macports.org
Date:     2011-12-02 11:09:02 -0800 (Fri, 02 Dec 2011)
Log Message:
-----------
coq: update to v8.3pl2 (#32074, maintainer timeout)

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

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2011-12-02 18:58:53 UTC (rev 87726)
+++ trunk/dports/lang/coq/Portfile	2011-12-02 19:09:02 UTC (rev 87727)
@@ -3,7 +3,7 @@
 PortSystem  1.0
 
 name        coq
-version     8.3pl1
+version     8.3pl2
 platforms   darwin
 categories  lang math
 maintainers loria.fr:reilles
@@ -17,9 +17,8 @@
   their formal specification. It is developed using Objective Caml and \
   Camlp4.  For more information, see <${homepage}>.
 
-checksums           md5     1869d22b337f5da59ba3bbe1433f9a3b \
-                    sha1    3fae9fa2fd6f39c9fb3c0b67fcd5e71f1e7a5f9f \
-                    rmd160  687983bcaca723299b6ea902a1e1b07338209d55
+checksums           rmd160  f59ee288a35c1009f88f050362bee21311b459a8 \
+                    sha256  b82b44ec585903b6bfadca02008eb5549cda46038c776ec115bc408c4e0f34f1
 
 use_parallel_build yes
 configure.pre_args -prefix ${prefix}
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20111202/bd3d34fa/attachment.html>