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

[mww at macports.org]

Revision: 55168
          http://trac.macports.org/changeset/55168
Author:   mww at macports.org
Date:     2009-08-07 00:20:17 -0700 (Fri, 07 Aug 2009)
Log Message:
-----------
version 2009-08-07

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

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2009-08-07 07:18:27 UTC (rev 55167)
+++ trunk/dports/math/isabelle-devel/Portfile	2009-08-07 07:20:17 UTC (rev 55168)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name			isabelle-devel
-version			2009-08-05
+version			2009-08-07
 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     4f4549eca24494b59cecdb5b4afb9762 \
-                    sha1    f660504e77644e902f8dd0571098ce723ac1aeb9 \
-                    rmd160  2c68a596eb6fa3f79087f7e1d47f53d09cc76f99
+checksums           md5     f6ebd31452cb109c47b85677fd0a3e9e \
+                    sha1    384836d8e8c153cb628a6921085cc0e52a45a654 \
+                    rmd160  3cef21c5192ecae029293d102aa3724f35be82ad
 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/20090807/ae630a9a/attachment.html>