Changeset 39639 for trunk

Timestamp:

08/27/08 09:29:31 (3 months ago)

Author:

mww@…

Message:

version 2008-08-27

Files:

• trunk/dports/math/isabelle-devel/Portfile (modified) (2 diffs)

trunk/dports/math/isabelle-devel/Portfile

@@ -4 +4 @@
 
 name                    isabelle-devel
-version                 2008-02-23
+version                 2008-08-27
 categories              math lang ml
 platforms               darwin
@@ -20 +20 @@
 homepage                http://isabelle.in.tum.de/
 master_sites            ${homepage}/devel/
-distname                Isabelle_23-Feb-2008
-checksums               sha1 e52838de933c0160dac48dc779df8f8659ff94d1
+distname                Isabelle_27-Aug-2008
+checksums               sha1 41ca5d96b59dc7d71b0ac1c72b5be0a56dd813c0
 patchfiles              patch-etc-settings.diff