Ticket #13940: coq.diff

File coq.diff, 917 bytes (added by wss@…, 17 years ago)

  • Portfile

    old new  
    33PortSystem  1.0
    44
    55name        coq
    6 version     8.1pl2
     6version     8.1pl3
    77categories  lang math
    88maintainers reilles@loria.fr
    99description Proof assistant for higher-order logic
    … …  
    1313  their formal specification. It is developed using Objective Caml and \
    1414  Camlp4.  For more information, see <http://coq.inria.fr/>.
    1515homepage      http://coq.inria.fr/
    16 master_sites  http://coq.inria.fr/V8.1pl2/files/
     16master_sites  http://coq.inria.fr/V8.1pl3/files/
    1717
    1818distfiles          ${name}-${version}.tar.gz:coq \
    1919
    20 checksums ${name}-${version}.tar.gz sha1 33ab31abffe42559a5c8341b66a0520805337526
     20checksums ${name}-${version}.tar.gz sha1 c06141891c2a793ff6b4bc1f106d9477b3a9a52e
    2121
    2222configure.pre_args -prefix ${prefix}
    2323configure.args     -emacslib ${prefix}/share/emacs/site-lisp/