[53603] trunk/dports/math/isabelle-devel/Portfile
mww at macports.org
mww at macports.org
Thu Jul 9 09:49:16 PDT 2009
Revision: 53603
http://trac.macports.org/changeset/53603
Author: mww at macports.org
Date: 2009-07-09 09:49:15 -0700 (Thu, 09 Jul 2009)
Log Message:
-----------
version 2009-07-08
Modified Paths:
--------------
trunk/dports/math/isabelle-devel/Portfile
Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile 2009-07-09 16:14:40 UTC (rev 53602)
+++ trunk/dports/math/isabelle-devel/Portfile 2009-07-09 16:49:15 UTC (rev 53603)
@@ -3,7 +3,7 @@
PortSystem 1.0
name isabelle-devel
-version 2009-07-05
+version 2009-07-08
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 f8d1f1d3f170e97595b268ca8b6eaa21 \
- sha1 8b2903f7f2acca2ff48765e98631f87d3472f017 \
- rmd160 ce0e285ba8552564b8d3df17713bb83546654fcf
+checksums md5 6b1596f1c8a961e97c2b86fef08d86bc \
+ sha1 2b7f05bea4a15b1c45e5874b1d0265d2e642ec81 \
+ rmd160 675bfa5f8dc797795a690bdf272746c45233f70e
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/20090709/9072ceae/attachment-0001.html>
More information about the macports-changes
mailing list