Ticket #51867: coq.patch

File coq.patch, 876 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.5pl1
     7version             8.5pl2
    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  04c540ab1033fd6b0e4c121b73ed56557708e7a5 \
    25                     sha256  4bfa75b10ae1be61301d0f7bc087b7c24e0b8bd025dd358c75709ac04ddd5df0
     24checksums           rmd160  55ddf2e77b42677c227fd9954789bf12410c63e7 \
     25                    sha256  83239d1251bf6c54a9ca5045d738e469019b93ca601756bf982aab0654e4de73
    2626
    2727configure.pre_args  -prefix ${prefix}
    2828configure.args      -emacslib ${prefix}/share/emacs/site-lisp/ \