| 1 | version:1 |
|---|
| 2 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 3 | :debug:main polyml 5.4_0 exists in the ports tree |
|---|
| 4 | :debug:main polyml 5.4_0 is the latest installed |
|---|
| 5 | :debug:main polyml 5.4_0 is active |
|---|
| 6 | :debug:main Merging existing variants '' into variants |
|---|
| 7 | :debug:main new fully merged portvariants: |
|---|
| 8 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/ports/lang/polyml |
|---|
| 9 | :debug:main OS darwin/10.7.0 (Mac OS X 10.6) arch i386 |
|---|
| 10 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 11 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 12 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 13 | :debug:main adding the default universal variant |
|---|
| 14 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 15 | :debug:main No need to upgrade! polyml 5.4_0 >= polyml 5.4_0 |
|---|
| 16 | :msg:main ---> Computing dependencies for isabelle-devel:info:main .:debug:main Searching for dependency: polyml |
|---|
| 17 | :debug:main Found Dependency: receipt exists for polyml |
|---|
| 18 | :msg:main |
|---|
| 19 | :debug:main Executing org.macports.main (isabelle-devel) |
|---|
| 20 | :msg:main ---> Fetching isabelle-devel |
|---|
| 21 | :debug:fetch fetch phase started at Thu Jun 2 10:42:29 EDT 2011 |
|---|
| 22 | :debug:fetch Executing org.macports.fetch (isabelle-devel) |
|---|
| 23 | :info:fetch ---> Isabelle_01-Oct-2009.tar.gz doesn't seem to exist in /opt/local/var/macports/distfiles/isabelle-devel |
|---|
| 24 | :debug:fetch Pinging isabelle.in.tum.de... |
|---|
| 25 | :debug:fetch Pinging distfiles.macports.org... |
|---|
| 26 | :debug:fetch Pinging aarnet.au.distfiles.macports.org... |
|---|
| 27 | :debug:fetch Pinging lil.fr.distfiles.macports.org... |
|---|
| 28 | :debug:fetch Pinging sea.us.distfiles.macports.org... |
|---|
| 29 | :debug:fetch Pinging ykf.ca.distfiles.macports.org... |
|---|
| 30 | :debug:fetch isabelle.in.tum.de ping time is 103.656 |
|---|
| 31 | :debug:fetch distfiles.macports.org ping time is 77.195 |
|---|
| 32 | :debug:fetch aarnet.au.distfiles.macports.org ping time is 239.524 |
|---|
| 33 | :debug:fetch lil.fr.distfiles.macports.org ping time is 86.223 |
|---|
| 34 | :debug:fetch sea.us.distfiles.macports.org ping time is 10000 |
|---|
| 35 | :debug:fetch ykf.ca.distfiles.macports.org ping time is 18.654 |
|---|
| 36 | :msg:fetch ---> Attempting to fetch Isabelle_01-Oct-2009.tar.gz from http://ykf.ca.distfiles.macports.org/MacPorts/mpdistfiles/isabelle-devel |
|---|
| 37 | :debug:fetch Fetching failed:: The requested URL returned error: 404 |
|---|
| 38 | :msg:fetch ---> Attempting to fetch Isabelle_01-Oct-2009.tar.gz from http://distfiles.macports.org/isabelle-devel |
|---|
| 39 | :debug:fetch Fetching failed:: The requested URL returned error: 404 |
|---|
| 40 | :msg:fetch ---> Attempting to fetch Isabelle_01-Oct-2009.tar.gz from http://lil.fr.distfiles.macports.org/isabelle-devel |
|---|
| 41 | :debug:fetch Fetching failed:: The requested URL returned error: 404 |
|---|
| 42 | :msg:fetch ---> Attempting to fetch Isabelle_01-Oct-2009.tar.gz from http://isabelle.in.tum.de//devel/ |
|---|
| 43 | :debug:fetch Fetching failed:: The requested URL returned error: 404 |
|---|
| 44 | :msg:fetch ---> Attempting to fetch Isabelle_01-Oct-2009.tar.gz from http://aarnet.au.distfiles.macports.org/pub/macports/mpdistfiles/isabelle-devel |
|---|
| 45 | :debug:fetch Fetching failed:: The requested URL returned error: 404 |
|---|
| 46 | :msg:fetch ---> Attempting to fetch Isabelle_01-Oct-2009.tar.gz from http://sea.us.distfiles.macports.org/macports/mpdistfiles/isabelle-devel |
|---|
| 47 | :debug:fetch Fetching failed:: The requested URL returned error: 404 |
|---|
| 48 | :msg:fetch ---> Attempting to fetch Isabelle_01-Oct-2009.tar.gz from http://svn.macports.org/repository/macports/distfiles/isabelle-devel |
|---|
| 49 | :debug:fetch Fetching failed:: The requested URL returned error: 404 |
|---|
| 50 | :error:fetch Target org.macports.fetch returned: fetch failed |
|---|
| 51 | :debug:fetch Backtrace: fetch failed |
|---|
| 52 | while executing |
|---|
| 53 | "portfetch::fetchfiles" |
|---|
| 54 | (procedure "portfetch::fetch_main" line 17) |
|---|
| 55 | invoked from within |
|---|
| 56 | "$procedure $targetname" |
|---|
| 57 | :info:fetch Warning: the following items did not execute (for isabelle-devel): org.macports.activate org.macports.fetch org.macports.checksum org.macports.extract org.macports.patch org.macports.configure org.macports.build org.macports.destroot org.macports.install |
|---|
| 58 | :notice:fetch Log for isabelle-devel is at: /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_ports_math_isabelle-devel/main.log |
|---|
