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

mww at macports.org mww at macports.org
Sun Feb 10 15:37:08 PST 2008


Revision: 34036
          http://trac.macosforge.org/projects/macports/changeset/34036
Author:   mww at macports.org
Date:     2008-02-10 15:37:07 -0800 (Sun, 10 Feb 2008)

Log Message:
-----------
version 2008-02-10

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

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2008-02-10 22:47:48 UTC (rev 34035)
+++ trunk/dports/math/isabelle-devel/Portfile	2008-02-10 23:37:07 UTC (rev 34036)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name			isabelle-devel
-version			2008-02-03
+version			2008-02-10
 categories		math lang ml
 platforms		darwin
 maintainers		mww
@@ -19,8 +19,8 @@
 
 homepage		http://isabelle.in.tum.de/
 master_sites		${homepage}/devel/
-distname		Isabelle_03-Feb-2008
-checksums		sha1 eff99f8b6fdb08182625ac41cb9d536f2b932d60
+distname		Isabelle_10-Feb-2008
+checksums		sha1 73c3b2b3fb23726b4127c6eb27a1d3ef293f4785
 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/20080210/37d37a94/attachment.html


More information about the macports-changes mailing list