[29908] trunk/dports/math/isabelle/Portfile
source_changes at macosforge.org
source_changes at macosforge.org
Sun Oct 14 22:04:39 PDT 2007
Revision: 29908
http://trac.macosforge.org/projects/macports/changeset/29908
Author: ryandesign at macports.org
Date: 2007-10-14 22:04:38 -0700 (Sun, 14 Oct 2007)
Log Message:
-----------
isabelle: fix download location
Modified Paths:
--------------
trunk/dports/math/isabelle/Portfile
Modified: trunk/dports/math/isabelle/Portfile
===================================================================
--- trunk/dports/math/isabelle/Portfile 2007-10-15 04:36:56 UTC (rev 29907)
+++ trunk/dports/math/isabelle/Portfile 2007-10-15 05:04:38 UTC (rev 29908)
@@ -16,7 +16,7 @@
properties of computer languages and protocols.
homepage http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
-master_sites ${homepage}/dist/
+master_sites http://www.cl.cam.ac.uk/~lp15/archive/
distfiles Isabelle${version}${extract.suffix}
checksums md5 8ea6985fde973453090abaa68aaa8446
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20071014/9bb15bf5/attachment.html
More information about the macports-changes
mailing list