[53751] trunk/dports/math/isabelle-devel/Portfile

[mww at macports.org]

Revision: 53751
          http://trac.macports.org/changeset/53751
Author:   mww at macports.org
Date:     2009-07-13 00:50:17 -0700 (Mon, 13 Jul 2009)
Log Message:
-----------
version 2009-07-12

Modified Paths:
--------------
    trunk/dports/math/isabelle-devel/Portfile

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2009-07-13 07:49:50 UTC (rev 53750)
+++ trunk/dports/math/isabelle-devel/Portfile	2009-07-13 07:50:17 UTC (rev 53751)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name			isabelle-devel
-version			2009-07-08
+version			2009-07-12
 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     6b1596f1c8a961e97c2b86fef08d86bc \
-                    sha1    2b7f05bea4a15b1c45e5874b1d0265d2e642ec81 \
-                    rmd160  675bfa5f8dc797795a690bdf272746c45233f70e
+checksums           md5     03f81ab7f8de2f9e5444feb0971eb930 \
+                    sha1    8d9f7c8777c059ba4c27ee526c9be79ccd97bfcc \
+                    rmd160  09196c3d0d6306caea6bd7cbb6d07b05a50d553b
 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/20090713/cef302f8/attachment.html>