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

[mww at macports.org]

Revision: 31175
          http://trac.macosforge.org/projects/macports/changeset/31175
Author:   mww at macports.org
Date:     2007-11-17 09:41:20 -0800 (Sat, 17 Nov 2007)

Log Message:
-----------
version 2007-11-17

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

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2007-11-17 17:41:08 UTC (rev 31174)
+++ trunk/dports/math/isabelle-devel/Portfile	2007-11-17 17:41:20 UTC (rev 31175)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name			isabelle-devel
-version			2007-11-13
+version			2007-11-17
 categories		math lang ml
 platforms		darwin
 maintainers		mww
@@ -19,8 +19,8 @@
 
 homepage		http://isabelle.in.tum.de/
 master_sites		${homepage}/devel/
-distname		Isabelle_13-Nov-2007
-checksums		sha1 fd7b1f7f5c217972842cb48e62eee98ebd88a089
+distname		Isabelle_17-Nov-2007
+checksums		sha1 fb57ee6012fbc79be646a7d81adafc4fceeaed7f
 
 depends_lib		port:polyml
 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20071117/f9dfb4b0/attachment-0001.html