[MacPorts] #2033: UPDATE: coq-8.0

[MacPorts]

#2033: UPDATE: coq-8.0
------------------------+--------------------------------
  Reporter:  reilles@…  |      Owner:  macports-tickets@…
      Type:  update     |     Status:  closed
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  1.0
Resolution:  fixed      |   Keywords:
      Port:  coq        |
------------------------+--------------------------------
Changes (by ryandesign@…):

 * type:  defect => update
 * port:   => coq


Old 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 at 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

New 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 at 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
 }}}

--

-- 
Ticket URL: <https://trac.macports.org/ticket/2033#comment:2>
MacPorts <https://www.macports.org/>
Ports system for OS X