UPDATE: coq-8.0

[reilles@…]

coq-8.0 is out since a little time.

Here the update from 8.0beta to 8.0 :

diff -u -r1.1 Portfile
--- Portfile    25 Feb 2004 16:44:42 -0000      1.1
+++ Portfile    9 Jul 2004 21:28:07 -0000
@@ -1,7 +1,7 @@
 # $Id: Portfile,v 1.1 2004/02/25 16:44:42 olegb Exp $
 PortSystem 1.0
 name           coq
-version                8.0beta
+version                8.0
 categories     lang math
 maintainers    jtonio@users.sourceforge.net
 description    Proof assistant for higher-order logic
@@ -10,8 +10,8 @@
        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/>.
-master_sites   ftp://ftp.inria.fr/INRIA/coq/V8.0beta/
-checksums      md5 6b1a3a4a725a12a7a129d3cfbe6cdb62
+master_sites   ftp://ftp.inria.fr/INRIA/coq/V8.0/
+checksums      md5 75ab1eb131b3469d21ab74377826b32b
 configure.pre_args      -prefix ${prefix}
 configure.args                 -emacslib ${prefix}/share/emacs/site-lisp/
 depends_build  bin:ocamlc:ocaml

[reilles@…]

The diff

[olegb@…]

updated thanks!