[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