Opened 20 years ago

Closed 20 years ago

Last modified 8 years ago

#2033 closed update (fixed)

UPDATE: coq-8.0

Reported by: reilles@… Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 1.0
Keywords: Cc:
Port: coq

Description (last modified by ryandesign (Ryan Carsten Schmidt))

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

Attachments (1)

Portfile.diff (1.1 KB) - added by reilles@… 20 years ago.
The diff

Download all attachments as: .zip

Change History (3)

Changed 20 years ago by reilles@…

Attachment: Portfile.diff added

The diff

comment:1 Changed 20 years ago by olegb@…

Resolution: fixed
Status: newclosed

updated thanks!

comment:2 Changed 8 years ago by ryandesign (Ryan Carsten Schmidt)

Description: modified (diff)
Port: coq added
Type: defectupdate
Note: See TracTickets for help on using tickets.