Ticket #38696: coq.patch

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

Portfile patch

  • Portfile

    old new  
    33PortSystem  1.0
    44
    55name        coq
    6 version     8.4pl1
    7 revision    1
     6version     8.4pl2
    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  fa472852de474ed5b83ddd4bd5a303f32b5dba94 \
    23                     sha256  5d0e4553ab50677a94b4d5ca1650a90718e9362082a649ba95be4010390a0f80
     21checksums           rmd160  4860eaff4c8f0a235d3fcf162199eaa5fe1db2da \
     22                    sha256  fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8
    2423
    2524depends_lib        port:ocaml port:camlp5
    2625