[61257] trunk/dports/math/isabelle/Portfile

[mww at macports.org]

Revision: 61257
          http://trac.macports.org/changeset/61257
Author:   mww at macports.org
Date:     2009-12-07 00:17:56 -0800 (Mon, 07 Dec 2009)
Log Message:
-----------
version 2009-1

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

Modified: trunk/dports/math/isabelle/Portfile
===================================================================
--- trunk/dports/math/isabelle/Portfile	2009-12-07 07:54:17 UTC (rev 61256)
+++ trunk/dports/math/isabelle/Portfile	2009-12-07 08:17:56 UTC (rev 61257)
@@ -3,7 +3,7 @@
 PortSystem        1.0
 
 name              isabelle
-version           2009
+version           2009-1
 categories        math lang ml
 platforms         darwin
 maintainers       mww
@@ -23,9 +23,9 @@
                   http://mirror.cse.unsw.edu.au/pub/isabelle/dist/
 
 distname          Isabelle${version}
-checksums           md5     2b7a8d49bfba64aac7227d692c15c27b \
-                    sha1    2af6f19f23436c37611d8df23e918f76e9190f39 \
-                    rmd160  7cbde579b6f897b8110c465f17a185f04f6587e0
+checksums           md5     d6c4b6f26b6ceba21a1950470436a450 \
+                    sha1    224949d1241b68a91222fcddf41ed5334f39e6dc \
+                    rmd160  040a754afca1528f017cd7191a9bff6d548aa2cb
 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/20091207/cc6797b8/attachment.html>