Ticket #48949: ProofGeneral-Portfile.udiff

File ProofGeneral-Portfile.udiff, 695 bytes (added by corwin.amber@…, 8 years ago)

Bump to 4.2

  • math/ProofGeneral/Portfile

    old new  
    33PortSystem        1.0
    44
    55name              ProofGeneral
    6 version           4.2
     6version           3.7.1
    77categories        math
    88maintainers       mww
    99platforms         darwin
    … …  
    1818homepage          http://proofgeneral.inf.ed.ac.uk/
    1919master_sites      ${homepage}/releases/
    2020extract.suffix    .tgz
    21 checksums         sha1 c8d2e4457478b9dbf4080d3cf8255325fcffe619
     21checksums         sha1 8bfa5b8c8f670ac992628aa05824f4bf514673a2
    2222
    2323use_configure     no
    2424