Opened 20 years ago
Last modified 9 years ago
#2033 closed update
UPDATE: coq-8.0 — at Initial Version
Reported by: | reilles@… | Owned by: | macports-tickets@… |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 1.0 |
Keywords: | Cc: | ||
Port: | coq |
Description
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@… 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
The diff