[MacPorts] #29688: isabelle-devel package failed to fetch

[MacPorts]

#29688: isabelle-devel package failed to fetch
-------------------------------+--------------------------------------------
 Reporter:  aixer77@…          |       Owner:  mww@…           
     Type:  defect             |      Status:  new             
 Priority:  Normal             |   Milestone:                  
Component:  ports              |     Version:  1.9.2           
 Keywords:                     |        Port:  isabelle-devel  
-------------------------------+--------------------------------------------
Changes (by ryandesign@…):

  * owner:  macports-tickets@… => mww@…
  * port:  => isabelle-devel


Old description:

> 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>

New description:

 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#comment:1>
MacPorts <http://www.macports.org/>
Ports system for Mac OS