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

[mww at macports.org]

Revision: 39906
          http://trac.macports.org/changeset/39906
Author:   mww at macports.org
Date:     2008-09-11 03:03:19 -0700 (Thu, 11 Sep 2008)
Log Message:
-----------
version 2008-09-11

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

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2008-09-11 08:31:34 UTC (rev 39905)
+++ trunk/dports/math/isabelle-devel/Portfile	2008-09-11 10:03:19 UTC (rev 39906)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name			isabelle-devel
-version			2008-08-27
+version			2008-09-11
 categories		math lang ml
 platforms		darwin
 maintainers		mww
@@ -19,8 +19,8 @@
 
 homepage		http://isabelle.in.tum.de/
 master_sites		${homepage}/devel/
-distname		Isabelle_27-Aug-2008
-checksums		sha1 41ca5d96b59dc7d71b0ac1c72b5be0a56dd813c0
+distname		Isabelle_11-Sep-2008
+checksums		sha1 7620b15bff6a3910e149b3ae4c88c325e64e62d2
 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/20080911/ed351a0d/attachment.html