[58721] trunk/dports/math/isabelle-devel/Portfile
mww at macports.org
mww at macports.org
Sat Oct 3 04:17:22 PDT 2009
Revision: 58721
http://trac.macports.org/changeset/58721
Author: mww at macports.org
Date: 2009-10-03 04:17:18 -0700 (Sat, 03 Oct 2009)
Log Message:
-----------
version 2009-10-01
Modified Paths:
--------------
trunk/dports/math/isabelle-devel/Portfile
Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile 2009-10-03 10:54:06 UTC (rev 58720)
+++ trunk/dports/math/isabelle-devel/Portfile 2009-10-03 11:17:18 UTC (rev 58721)
@@ -3,7 +3,7 @@
PortSystem 1.0
name isabelle-devel
-version 2009-08-19
+version 2009-10-01
set my_version [clock format [clock scan ${version}] -format %d-%b-%Y]
categories math lang ml
platforms darwin
@@ -22,9 +22,9 @@
homepage http://isabelle.in.tum.de/
master_sites ${homepage}/devel/
distname Isabelle_${my_version}
-checksums md5 19184bc7620a92c3d13b439de6722767 \
- sha1 7adfffc38bd599c11ce2e34dae64515d458b92e8 \
- rmd160 5eb4602750c8aafad4ab6e80074f3e2a34802c6e
+checksums md5 27972200c65514bd07044f473d8b5023 \
+ sha1 e170691acb2e6ded3409459afe8f4fa64ad7b016 \
+ rmd160 8dd39c2f40ba7804e5723ce848de04e4d65c7cd0
patchfiles patch-etc-settings.diff
depends_lib port:polyml
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20091003/9b036a98/attachment-0001.html>
More information about the macports-changes
mailing list