[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