Revision: 39639 http://trac.macosforge.org/projects/macports/changeset/39639 Author: mww@macports.org Date: 2008-08-27 09:29:31 -0700 (Wed, 27 Aug 2008) Log Message: ----------- version 2008-08-27 Modified Paths: -------------- trunk/dports/math/isabelle-devel/Portfile Modified: trunk/dports/math/isabelle-devel/Portfile =================================================================== --- trunk/dports/math/isabelle-devel/Portfile 2008-08-27 15:21:52 UTC (rev 39638) +++ trunk/dports/math/isabelle-devel/Portfile 2008-08-27 16:29:31 UTC (rev 39639) @@ -3,7 +3,7 @@ PortSystem 1.0 name isabelle-devel -version 2008-02-23 +version 2008-08-27 categories math lang ml platforms darwin maintainers mww @@ -19,8 +19,8 @@ homepage http://isabelle.in.tum.de/ master_sites ${homepage}/devel/ -distname Isabelle_23-Feb-2008 -checksums sha1 e52838de933c0160dac48dc779df8f8659ff94d1 +distname Isabelle_27-Aug-2008 +checksums sha1 41ca5d96b59dc7d71b0ac1c72b5be0a56dd813c0 patchfiles patch-etc-settings.diff depends_lib port:polyml