Ticket #2033: Portfile.diff

File Portfile.diff, 1.1 KB (added by reilles@…, 20 years ago)

The diff

  • Portfile 

    RCS file: /Volumes/src/cvs/od/proj/darwinports/dports/lang/coq/Portfile,v
retrieving revision 1.1
diff -u -r1.1 Portfile
     
    11# $Id: Portfile,v 1.1 2004/02/25 16:44:42 olegb Exp $
    22PortSystem 1.0
    33name            coq
    4 version         8.0beta
     4version         8.0
    55categories      lang math
    66maintainers     jtonio@users.sourceforge.net
    77description     Proof assistant for higher-order logic
    … …  
    1010        which allows the development of computer programs consistent with \
    1111        their formal specification. It is developed using Objective Caml and \
    1212        Camlp4.  For more information, see <http://coq.inria.fr/>.
    13 master_sites    ftp://ftp.inria.fr/INRIA/coq/V8.0beta/
    14 checksums       md5 6b1a3a4a725a12a7a129d3cfbe6cdb62
     13master_sites    ftp://ftp.inria.fr/INRIA/coq/V8.0/
     14checksums       md5 75ab1eb131b3469d21ab74377826b32b
    1515configure.pre_args      -prefix ${prefix}
    1616configure.args          -emacslib ${prefix}/share/emacs/site-lisp/
    1717depends_build   bin:ocamlc:ocaml