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

mww at macports.org mww at macports.org
Tue Aug 4 09:03:27 PDT 2009


Revision: 54915
          http://trac.macports.org/changeset/54915
Author:   mww at macports.org
Date:     2009-08-04 09:03:24 -0700 (Tue, 04 Aug 2009)
Log Message:
-----------
version 2009-07-31

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

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2009-08-04 15:53:42 UTC (rev 54914)
+++ trunk/dports/math/isabelle-devel/Portfile	2009-08-04 16:03:24 UTC (rev 54915)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name			isabelle-devel
-version			2009-07-23
+version			2009-07-31
 set my_version		[clock format [clock scan ${version}] -format %d-%b-%Y]
 categories		math lang ml
 platforms		darwin
@@ -21,9 +21,9 @@
 homepage		http://isabelle.in.tum.de/
 master_sites		${homepage}/devel/
 distname		Isabelle_${my_version}
-checksums           md5     1149cadeacb70a7f715299ea94b8dc44 \
-                    sha1    f951455e989c5b6a3e3a57263b4f68617f9e0a05 \
-                    rmd160  59e40c7c9f35f7af8329c44816f7585eedb62e32
+checksums           md5     beb277ad887e4f71632af461e3912735 \
+                    sha1    16e97ce9dc7b04df5c09baca2ec1298dd79faa15 \
+                    rmd160  1f21fa382a86e3a6dfd9d87d3dcbd88448352851
 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/20090804/1eeb3723/attachment.html>


More information about the macports-changes mailing list