[30501] trunk/dports/math/isabelle-devel/Portfile
source_changes at macosforge.org
source_changes at macosforge.org
Mon Oct 29 12:07:58 PDT 2007
Revision: 30501
http://trac.macosforge.org/projects/macports/changeset/30501
Author: mww at macports.org
Date: 2007-10-29 12:07:57 -0700 (Mon, 29 Oct 2007)
Log Message:
-----------
version 2007-10-29
Modified Paths:
--------------
trunk/dports/math/isabelle-devel/Portfile
Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile 2007-10-29 18:52:03 UTC (rev 30500)
+++ trunk/dports/math/isabelle-devel/Portfile 2007-10-29 19:07:57 UTC (rev 30501)
@@ -3,7 +3,7 @@
PortSystem 1.0
name isabelle-devel
-version 2007-10-25
+version 2007-10-29
categories math lang ml
platforms darwin
maintainers mww
@@ -19,8 +19,8 @@
homepage http://isabelle.in.tum.de/
master_sites ${homepage}/devel/
-distname Isabelle_25-Oct-2007
-checksums sha1 614b85f897ab1b3670c1ace18a67e1186660f16c
+distname Isabelle_29-Oct-2007
+checksums sha1 6541ec3b0748e16de64a9097225cb61ec0cf89eb
depends_lib port:polyml
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20071029/d7611516/attachment-0001.html
More information about the macports-changes
mailing list