[MacPorts] #29688: isabelle-devel package failed to fetch
MacPorts
noreply at macports.org
Thu Jun 2 07:43:57 PDT 2011
#29688: isabelle-devel package failed to fetch
-------------------------------+--------------------------------------------
Reporter: aixer77@… | Owner: macports-tickets@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 1.9.2
Keywords: | Port:
-------------------------------+--------------------------------------------
It failed with the following error message.
$ sudo port install isabelle-devel
---> Computing dependencies for isabelle-devel
---> Fetching isabelle-devel
---> Attempting to fetch Isabelle_01-Oct-2009.tar.gz from
http://ykf.ca.distfiles.macports.org/MacPorts/mpdistfiles/isabelle-devel
---> Attempting to fetch Isabelle_01-Oct-2009.tar.gz from
http://distfiles.macports.org/isabelle-devel
---> Attempting to fetch Isabelle_01-Oct-2009.tar.gz from
http://lil.fr.distfiles.macports.org/isabelle-devel
---> Attempting to fetch Isabelle_01-Oct-2009.tar.gz from
http://isabelle.in.tum.de//devel/
---> Attempting to fetch Isabelle_01-Oct-2009.tar.gz from
http://aarnet.au.distfiles.macports.org/pub/macports/mpdistfiles/isabelle-
devel
---> Attempting to fetch Isabelle_01-Oct-2009.tar.gz from
http://sea.us.distfiles.macports.org/macports/mpdistfiles/isabelle-devel
---> Attempting to fetch Isabelle_01-Oct-2009.tar.gz from
http://svn.macports.org/repository/macports/distfiles/isabelle-devel
Error: Target org.macports.fetch returned: fetch failed
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
Error: Status 1 encountered during processing.
To report a bug, see <http://guide.macports.org/#project.tickets>
--
Ticket URL: <https://trac.macports.org/ticket/29688>
MacPorts <http://www.macports.org/>
Ports system for Mac OS
More information about the macports-tickets
mailing list