Ticket #41877: coq.patch

File coq.patch, 801 bytes (added by pmetzger (Perry E. Metzger), 10 years ago)

Patch to upgrade the Portfile

  • Portfile

    old new  
    33PortSystem  1.0
    44
    55name        coq
    6 version     8.4pl2
    7 revision    1
     6version     8.4pl3
    87platforms   darwin
    98categories  lang math
    109license     LGPL-2.1
    … …  
    1918  their formal specification. It is developed using Objective Caml and \
    2019  Camlp4.  For more information, see <${homepage}>.
    2120
    22 checksums           rmd160  4860eaff4c8f0a235d3fcf162199eaa5fe1db2da \
    23                     sha256  fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8
     21checksums           rmd160  d34331d4c61afca9436219d643da0eb7ccf67969 \
     22                    sha256  fcc0dc1c90485e6d5c90a0f99789a7ab50fcba49156f975f106b8ab5731a21e3
    2423
    2524depends_lib        port:ocaml port:camlp5
    2625