Changeset 142494


Ignore:
Timestamp:
Nov 13, 2015, 1:29:04 AM (4 years ago)
Author:
khindenburg@…
Message:

ProofGeneral: update to 4.2; maintainer timeout #48949

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/math/ProofGeneral/Portfile

    r57375 r142494  
    44
    55name              ProofGeneral
    6 version           3.7.1
     6version           4.2
    77categories        math
    88maintainers       mww
     
    1919master_sites      ${homepage}/releases/
    2020extract.suffix    .tgz
    21 checksums         sha1 8bfa5b8c8f670ac992628aa05824f4bf514673a2
     21
     22checksums         rmd160  2483609dac210104193e4b4c85131461da21baba \
     23                  sha256  3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27
    2224
    2325use_configure     no
Note: See TracChangeset for help on using the changeset viewer.