Ticket #52843: coq.patch

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

  • Portfile

    old new  
    44PortSystem          1.0
    55
    66name                coq
    7 version             8.5pl2
     7version             8.5pl3
    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  55ddf2e77b42677c227fd9954789bf12410c63e7 \
    25                     sha256  83239d1251bf6c54a9ca5045d738e469019b93ca601756bf982aab0654e4de73
     24checksums           rmd160  f8abeb8a24690f9d4e56ec67a1dd1b4d7381d93d \
     25                    sha256  305b92e05d406d4d0c64f43d4fadb6b89419120a1d4ae4115ed1c5eb8812d33b
    2626
    2727configure.pre_args  -prefix ${prefix}
    2828configure.args      -emacslib ${prefix}/share/emacs/site-lisp/ \