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

[mww at macports.org]

Revision: 55833
          http://trac.macports.org/changeset/55833
Author:   mww at macports.org
Date:     2009-08-19 22:57:52 -0700 (Wed, 19 Aug 2009)
Log Message:
-----------
version 2009-08-19

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

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2009-08-20 02:53:55 UTC (rev 55832)
+++ trunk/dports/math/isabelle-devel/Portfile	2009-08-20 05:57:52 UTC (rev 55833)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name			isabelle-devel
-version			2009-08-18
+version			2009-08-19
 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     68cf341dde8bb9c9798d77de042c6a21 \
-                    sha1    2295a820f50fd60ea8eceb4bf883eddef0f217fc \
-                    rmd160  81327683bfdb575e5e7cd903d918ed1679843d50
+checksums           md5     19184bc7620a92c3d13b439de6722767 \
+                    sha1    7adfffc38bd599c11ce2e34dae64515d458b92e8 \
+                    rmd160  5eb4602750c8aafad4ab6e80074f3e2a34802c6e
 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/20090819/bd7f3bad/attachment.html>