Ticket #51229: coq.patch

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

Patch to upgrade the Portfile

  • Portfile

    old new  
    44PortSystem          1.0
    55
    66name                coq
    7 version             8.5
     7version             8.5pl1
    88platforms           darwin
    99categories          lang math
    1010license             LGPL-2.1
    … …  
    2121                    port:camlp5
    2222
    2323master_sites        http://coq.inria.fr/distrib/V${version}/files/
    24 checksums           rmd160  551d35ac96436d98112fa1a17bcc075ee307c627 \
    25                     sha256  89a92fb8b91e7cb0797d41c87cd13e4b63bee76c32a6dcc3d7c8055ca6a9ae3d
     24checksums           rmd160  04c540ab1033fd6b0e4c121b73ed56557708e7a5 \
     25                    sha256  4bfa75b10ae1be61301d0f7bc087b7c24e0b8bd025dd358c75709ac04ddd5df0
    2626
    2727configure.pre_args  -prefix ${prefix}
    2828configure.args      -emacslib ${prefix}/share/emacs/site-lisp/ \