[30931] trunk/dports/math/isabelle-devel/Portfile
source_changes at macosforge.org
source_changes at macosforge.org
Sun Nov 11 14:27:15 PST 2007
Revision: 30931
http://trac.macosforge.org/projects/macports/changeset/30931
Author: mww at macports.org
Date: 2007-11-11 14:27:14 -0800 (Sun, 11 Nov 2007)
Log Message:
-----------
version 2007-11-11
Modified Paths:
--------------
trunk/dports/math/isabelle-devel/Portfile
Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile 2007-11-11 22:14:47 UTC (rev 30930)
+++ trunk/dports/math/isabelle-devel/Portfile 2007-11-11 22:27:14 UTC (rev 30931)
@@ -3,7 +3,7 @@
PortSystem 1.0
name isabelle-devel
-version 2007-11-04
+version 2007-11-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_04-Nov-2007
-checksums sha1 99333f1e1dcf43e915378dcf1c6f3d593b175c37
+distname Isabelle_11-Nov-2007
+checksums sha1 9e28b8264db77054d507fe37b43c7b88321b696e
depends_lib port:polyml
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20071111/146412a6/attachment.html
More information about the macports-changes
mailing list