Ticket #46062: patch

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

Patch to upgrade the Portfile

  • Portfile

    old new  
    44PortSystem          1.0
    55
    66name                coq
    7 version             8.4pl4
    8 revision            1
     7version             8.4pl5
     8revision            0
    99platforms           darwin
    1010categories          lang math
    1111license             LGPL-2.1
     
    2222                    port:camlp5
    2323
    2424master_sites        http://coq.inria.fr/distrib/V${version}/files/
    25 checksums           rmd160  19e3fe905f5db09710b1f862f21e9b57c28f9704 \
    26                     sha256  06c3aeab7819eed8f35ce794c887a70cf3b4f6b71ee52cd3110fb4e526717f01
    27 
    28 patchfiles          patch-kernel-univ.ml.diff
     25checksums           rmd160  352ee5778605e9740b2d4ae4586933102beb43f2 \
     26                    sha256  35815ab78a58d72799eacaab155427620ab071677882ca6c98d7bfec97d25245
    2927
    3028configure.pre_args  -prefix ${prefix}
    3129configure.args      -emacslib ${prefix}/share/emacs/site-lisp/ \