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

[mww at macports.org]

Revision: 55696
          http://trac.macports.org/changeset/55696
Author:   mww at macports.org
Date:     2009-08-17 00:28:43 -0700 (Mon, 17 Aug 2009)
Log Message:
-----------
version 2009-08-17

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

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2009-08-17 07:26:29 UTC (rev 55695)
+++ trunk/dports/math/isabelle-devel/Portfile	2009-08-17 07:28:43 UTC (rev 55696)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name			isabelle-devel
-version			2009-08-14
+version			2009-08-17
 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     b3e8d0c26405a6c949c0bc660cd3b6d8 \
-                    sha1    d85286d66eb3c19ce8ac25440c0032f63fb49129 \
-                    rmd160  a6272faebfc3f2bea1293c91b7fc68ceb7bda668
+checksums           md5     9a2b49f1d4a1267d0bf6cfd9f7c240a5 \
+                    sha1    a2ae4083323d0eb67d769d81a9ff3e9868608bcb \
+                    rmd160  d26972d9d8bf5c5679efbce79e44fb7b350dc1cc
 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/20090817/acfa2a49/attachment.html>