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

[mww at macports.org]

Revision: 55509
          http://trac.macports.org/changeset/55509
Author:   mww at macports.org
Date:     2009-08-12 05:46:21 -0700 (Wed, 12 Aug 2009)
Log Message:
-----------
version 2009-08-12

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

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2009-08-12 12:44:48 UTC (rev 55508)
+++ trunk/dports/math/isabelle-devel/Portfile	2009-08-12 12:46:21 UTC (rev 55509)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name			isabelle-devel
-version			2009-08-10
+version			2009-08-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     1969632e73b7e8785be74010a2bdfb44 \
-                    sha1    6a47940b2c6cbde595e2f8a73cad0a42ffe8eb84 \
-                    rmd160  9174b7a20ddae1e7f18a8fad412360409247966a
+checksums           md5     2f63cdbe34692a43712a005af062026a \
+                    sha1    00370d033f9b7c4047800a980d588aa771a39717 \
+                    rmd160  2b1c65a8fd14815b94d4379eb835e845f478550b
 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/20090812/f240d126/attachment.html>