Ignore:
Timestamp:
Sep 4, 2004, 1:39:02 PM (13 years ago)
Author:
olegb
Message:

Bug: 2145
Submitted by: reilles@… (Antoine Reilles)
Reviewed by: olegb@
Approved by:
Obtained from:
update to 8.0pl1

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/lang/coq/Portfile

    r7692 r8168  
    1 # $Id: Portfile,v 1.2 2004/07/11 14:51:49 olegb Exp $
     1# $Id: Portfile,v 1.3 2004/09/04 13:39:02 olegb Exp $
    22PortSystem 1.0
    33name            coq
    4 version         8.0
     4version         8.0pl1
    55categories      lang math
    66maintainers     jtonio@users.sourceforge.net
     
    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.0/
    14 checksums       md5 75ab1eb131b3469d21ab74377826b32b
     13master_sites    ftp://ftp.inria.fr/INRIA/coq/V8.0pl1/
     14checksums       md5 95237e64081d7306fdea49e1988bde12
    1515configure.pre_args      -prefix ${prefix}
    1616configure.args          -emacslib ${prefix}/share/emacs/site-lisp/
Note: See TracChangeset for help on using the changeset viewer.