[54243] trunk/dports/math/isabelle-devel/Portfile
mww at macports.org
mww at macports.org
Thu Jul 23 11:35:29 PDT 2009
Revision: 54243
http://trac.macports.org/changeset/54243
Author: mww at macports.org
Date: 2009-07-23 11:35:28 -0700 (Thu, 23 Jul 2009)
Log Message:
-----------
version 2009-07-23
Modified Paths:
--------------
trunk/dports/math/isabelle-devel/Portfile
Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile 2009-07-23 18:10:12 UTC (rev 54242)
+++ trunk/dports/math/isabelle-devel/Portfile 2009-07-23 18:35:28 UTC (rev 54243)
@@ -3,7 +3,7 @@
PortSystem 1.0
name isabelle-devel
-version 2009-07-12
+version 2009-07-23
set my_version [clock format [clock scan ${version}] -format %d-%b-%Y]
categories math lang ml
platforms darwin
@@ -21,9 +21,9 @@
homepage http://isabelle.in.tum.de/
master_sites ${homepage}/devel/
distname Isabelle_${my_version}
-checksums md5 03f81ab7f8de2f9e5444feb0971eb930 \
- sha1 8d9f7c8777c059ba4c27ee526c9be79ccd97bfcc \
- rmd160 09196c3d0d6306caea6bd7cbb6d07b05a50d553b
+checksums md5 1149cadeacb70a7f715299ea94b8dc44 \
+ sha1 f951455e989c5b6a3e3a57263b4f68617f9e0a05 \
+ rmd160 59e40c7c9f35f7af8329c44816f7585eedb62e32
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/20090723/2819282f/attachment-0001.html>
More information about the macports-changes
mailing list