[31290] trunk/dports/math/isabelle-devel/Portfile
mww at macports.org
mww at macports.org
Mon Nov 19 11:52:18 PST 2007
Revision: 31290
http://trac.macosforge.org/projects/macports/changeset/31290
Author: mww at macports.org
Date: 2007-11-19 11:52:17 -0800 (Mon, 19 Nov 2007)
Log Message:
-----------
version 2007-11-19
Modified Paths:
--------------
trunk/dports/math/isabelle-devel/Portfile
Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile 2007-11-19 19:36:23 UTC (rev 31289)
+++ trunk/dports/math/isabelle-devel/Portfile 2007-11-19 19:52:17 UTC (rev 31290)
@@ -3,7 +3,7 @@
PortSystem 1.0
name isabelle-devel
-version 2007-11-17
+version 2007-11-19
categories math lang ml
platforms darwin
maintainers mww
@@ -19,8 +19,8 @@
homepage http://isabelle.in.tum.de/
master_sites ${homepage}/devel/
-distname Isabelle_17-Nov-2007
-checksums sha1 fb57ee6012fbc79be646a7d81adafc4fceeaed7f
+distname Isabelle_19-Nov-2007
+checksums sha1 84b7d2d235441b05326cbae455bd3946692ee724
depends_lib port:polyml
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20071119/6fc12965/attachment.html
More information about the macports-changes
mailing list