[34414] trunk/dports/math/isabelle-devel/Portfile
mww at macports.org
mww at macports.org
Sat Feb 23 10:30:43 PST 2008
Revision: 34414
http://trac.macosforge.org/projects/macports/changeset/34414
Author: mww at macports.org
Date: 2008-02-23 10:30:42 -0800 (Sat, 23 Feb 2008)
Log Message:
-----------
version 2008-02-23
Modified Paths:
--------------
trunk/dports/math/isabelle-devel/Portfile
Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile 2008-02-23 16:56:23 UTC (rev 34413)
+++ trunk/dports/math/isabelle-devel/Portfile 2008-02-23 18:30:42 UTC (rev 34414)
@@ -3,7 +3,7 @@
PortSystem 1.0
name isabelle-devel
-version 2008-02-15
+version 2008-02-23
categories math lang ml
platforms darwin
maintainers mww
@@ -19,8 +19,8 @@
homepage http://isabelle.in.tum.de/
master_sites ${homepage}/devel/
-distname Isabelle_15-Feb-2008
-checksums sha1 b7c95ec96c077fb8355a73477e1ac3d9bd7c86b6
+distname Isabelle_23-Feb-2008
+checksums sha1 e52838de933c0160dac48dc779df8f8659ff94d1
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/20080223/8ebe97f8/attachment.html
More information about the macports-changes
mailing list