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

[ryandesign at macports.org]

Revision: 36889
          http://trac.macosforge.org/projects/macports/changeset/36889
Author:   ryandesign at macports.org
Date:     2008-05-17 00:48:53 -0700 (Sat, 17 May 2008)

Log Message:
-----------
coq: update to 8.1pl3; closes #13940 (maintainer timeout)

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

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2008-05-17 07:48:04 UTC (rev 36888)
+++ trunk/dports/lang/coq/Portfile	2008-05-17 07:48:53 UTC (rev 36889)
@@ -3,7 +3,7 @@
 PortSystem  1.0
 
 name        coq
-version     8.1pl2
+version     8.1pl3
 categories  lang math
 maintainers reilles at loria.fr
 homepage    http://coq.inria.fr/
@@ -16,7 +16,10 @@
   their formal specification. It is developed using Objective Caml and \
   Camlp4.  For more information, see <${homepage}>.
 
-checksums sha1 33ab31abffe42559a5c8341b66a0520805337526
+checksums \
+    md5 84311faf7865b2eab964990cdb365dca \
+    sha1 c06141891c2a793ff6b4bc1f106d9477b3a9a52e \
+    rmd160 f8f4749e1014cb47a83915550713cf9ce1992e34
 
 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/20080517/f4d02b74/attachment.htm