[142494] trunk/dports/math/ProofGeneral/Portfile

khindenburg at macports.org khindenburg at macports.org
Sat Dec 12 05:59:45 PST 2015


Revision: 142494
          https://trac.macports.org/changeset/142494
Author:   khindenburg at macports.org
Date:     2015-11-12 17:29:04 -0800 (Thu, 12 Nov 2015)
Log Message:
-----------
ProofGeneral: update to 4.2; maintainer timeout #48949

Modified Paths:
--------------
    trunk/dports/math/ProofGeneral/Portfile

Modified: trunk/dports/math/ProofGeneral/Portfile
===================================================================
--- trunk/dports/math/ProofGeneral/Portfile	2015-11-13 01:02:51 UTC (rev 142493)
+++ trunk/dports/math/ProofGeneral/Portfile	2015-11-13 01:29:04 UTC (rev 142494)
@@ -3,7 +3,7 @@
 PortSystem        1.0
 
 name              ProofGeneral
-version           3.7.1
+version           4.2
 categories        math
 maintainers       mww
 platforms         darwin
@@ -18,8 +18,10 @@
 homepage          http://proofgeneral.inf.ed.ac.uk/
 master_sites      ${homepage}/releases/
 extract.suffix    .tgz
-checksums         sha1 8bfa5b8c8f670ac992628aa05824f4bf514673a2
 
+checksums         rmd160  2483609dac210104193e4b4c85131461da21baba \
+                  sha256  3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27
+
 use_configure     no
 
 build             {}
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20151212/6a506096/attachment-0001.html>


More information about the macports-changes mailing list