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

[source_changes at macosforge.org]

Revision: 25215
          http://trac.macosforge.org/projects/macports/changeset/25215
Author:   jann at macports.org
Date:     2007-05-15 19:58:45 -0700 (Tue, 15 May 2007)

Log Message:
-----------
Update by maintainer

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

Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile	2007-05-16 01:43:44 UTC (rev 25214)
+++ trunk/dports/lang/coq/Portfile	2007-05-16 02:58:45 UTC (rev 25215)
@@ -1,7 +1,7 @@
 # $Id$
 PortSystem  1.0
 name        coq
-version     8.0pl3
+version     8.1
 categories  lang math
 maintainers reilles at loria.fr
 description Proof assistant for higher-order logic
@@ -10,12 +10,12 @@
   which allows the development of computer programs consistent with \
   their formal specification. It is developed using Objective Caml and \
   Camlp4.  For more information, see <http://coq.inria.fr/>.
-homepage      http://coq.inria.fr
-master_sites  ftp://ftp.inria.fr/INRIA/coq/V8.0pl3/
+homepage      http://coq.inria.fr/
+master_sites  ftp://ftp.inria.fr/INRIA/coq/V8.1/
 
 distfiles          ${name}-${version}.tar.gz:coq \
 
-checksums ${name}-${version}.tar.gz sha1 b182f25b8e6591139281f7078d049aaa7f0408d8
+checksums ${name}-${version}.tar.gz sha1 151aca5b7c919eeb39ba3c6fecec836b7953b206
 
 configure.pre_args -prefix ${prefix}
 configure.args     -emacslib ${prefix}/share/emacs/site-lisp/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20070515/a64f2f9b/attachment.html