Ticket #32074: Portfile.diff

File Portfile.diff, 891 bytes (added by pmetzger (Perry E. Metzger), 9 years ago)

patch to Portfile

  • Portfile

    old new  
    33PortSystem  1.0
    44
    55name        coq
    6 version     8.3pl1
     6version     8.3pl2
    77platforms   darwin
    88categories  lang math
    99maintainers loria.fr:reilles
     
    1717  their formal specification. It is developed using Objective Caml and \
    1818  Camlp4.  For more information, see <${homepage}>.
    1919
    20 checksums           md5     1869d22b337f5da59ba3bbe1433f9a3b \
    21                     sha1    3fae9fa2fd6f39c9fb3c0b67fcd5e71f1e7a5f9f \
    22                     rmd160  687983bcaca723299b6ea902a1e1b07338209d55
     20checksums           md5     db415f6c5372f5a443699c62f5affcb4 \
     21                    sha1    8506761e4755739cc728aff790dd778db8217f3f \
     22                    rmd160  f59ee288a35c1009f88f050362bee21311b459a8
    2323
    2424use_parallel_build yes
    2525configure.pre_args -prefix ${prefix}