Ticket #11953: coq.patch

File coq.patch, 819 bytes (added by reilles@…, 17 years ago)

  • Portfile

    old new  
    22PortSystem  1.0
    33name        coq
    4 version     8.0pl3
     4version     8.1
    55categories  lang math
    66maintainers reilles@loria.fr
    … … long_description \ 
    1111  their formal specification. It is developed using Objective Caml and \
    1212  Camlp4.  For more information, see <http://coq.inria.fr/>.
    13 homepage      http://coq.inria.fr
    14 master_sites  ftp://ftp.inria.fr/INRIA/coq/V8.0pl3/
     13homepage      http://coq.inria.fr/
     14master_sites  ftp://ftp.inria.fr/INRIA/coq/V8.1/
    1515
    1616distfiles          ${name}-${version}.tar.gz:coq \
    1717
    18 checksums ${name}-${version}.tar.gz sha1 b182f25b8e6591139281f7078d049aaa7f0408d8
     18checksums ${name}-${version}.tar.gz sha1 151aca5b7c919eeb39ba3c6fecec836b7953b206
    1919
    2020configure.pre_args -prefix ${prefix}