[MacPorts] #48539: webkit-gtk3: case-Insensitive.patch MIA (was: WebKit-Gtk3 Case-Insensitive.patch MIA)

[MacPorts]

#48539: webkit-gtk3: case-Insensitive.patch MIA
--------------------------+------------------------
  Reporter:  game64@…     |      Owner:  jeremyhu@…
      Type:  defect       |     Status:  new
  Priority:  Normal       |  Milestone:
 Component:  ports        |    Version:  2.3.3
Resolution:               |   Keywords:
      Port:  webkit-gtk3  |
--------------------------+------------------------
Changes (by ionic@…):

 * cc: devans@… (added)
 * owner:  macports-tickets@… => jeremyhu@…
 * port:  webkit-gtk => webkit-gtk3


Old description:

> [Hidden]-Mac-Pro:build [Hidden]$ sudo port install -f webkit-gtk3
> +video+quartz
> --->  Computing dependencies for webkit-gtk3
> --->  Fetching distfiles for webkit-gtk3
> --->  Attempting to fetch case-insensitive.patch from
> http://distfiles.macports.org/webkit-gtk
> --->  Attempting to fetch case-insensitive.patch from
> http://sea.us.distfiles.macports.org/macports/distfiles/webkit-gtk
> --->  Attempting to fetch case-insensitive.patch from
> http://ykf.ca.distfiles.macports.org/MacPorts/mpdistfiles/webkit-gtk
> --->  Attempting to fetch case-insensitive.patch from
> http://lil.fr.distfiles.macports.org/webkit-gtk
> --->  Attempting to fetch case-insensitive.patch from
> http://webkitgtk.org/releases/
> --->  Attempting to fetch case-insensitive.patch from
> http://mse.uk.distfiles.macports.org/sites/distfiles.macports.org/webkit-
> gtk
> --->  Attempting to fetch case-insensitive.patch from
> http://cjj.kr.distfiles.macports.org/webkit-gtk
> --->  Attempting to fetch case-insensitive.patch from
> http://nue.de.distfiles.macports.org/macports/distfiles/webkit-gtk
> --->  Attempting to fetch case-insensitive.patch from
> http://fco.it.distfiles.macports.org/mirrors/macports-distfiles/webkit-
> gtk
> --->  Attempting to fetch case-insensitive.patch from
> http://osl.no.distfiles.macports.org/webkit-gtk
> --->  Attempting to fetch case-insensitive.patch from
> http://her.gr.distfiles.macports.org/mirrors/macports/mpdistfiles/webkit-
> gtk
> --->  Attempting to fetch case-insensitive.patch from
> http://aarnet.au.distfiles.macports.org/pub/macports/mpdistfiles/webkit-
> gtk
> --->  Attempting to fetch case-insensitive.patch from
> http://jog.id.distfiles.macports.org/macports/mpdistfiles/webkit-gtk
> --->  Attempting to fetch case-insensitive.patch from
> http://svn.macports.org/repository/macports/distfiles/webkit-gtk
> Error: org.macports.fetch for port webkit-gtk3 returned: fetch failed
> Please see the log file for port webkit-gtk3 for details:
>     /opt/local/var/macports/logs/[hidden]portfiles_games_WebKitGtkPort
> /webkit-gtk3/main.log
> To report a bug, follow the instructions in the guide:
>     http://guide.macports.org/#project.tickets
> Error: Processing of port webkit-gtk3 failed

New description:

 {{{
 [Hidden]-Mac-Pro:build [Hidden]$ sudo port install -f webkit-gtk3
 +video+quartz
 --->  Computing dependencies for webkit-gtk3
 --->  Fetching distfiles for webkit-gtk3
 --->  Attempting to fetch case-insensitive.patch from
 http://distfiles.macports.org/webkit-gtk
 --->  Attempting to fetch case-insensitive.patch from
 http://sea.us.distfiles.macports.org/macports/distfiles/webkit-gtk
 --->  Attempting to fetch case-insensitive.patch from
 http://ykf.ca.distfiles.macports.org/MacPorts/mpdistfiles/webkit-gtk
 --->  Attempting to fetch case-insensitive.patch from
 http://lil.fr.distfiles.macports.org/webkit-gtk
 --->  Attempting to fetch case-insensitive.patch from
 http://webkitgtk.org/releases/
 --->  Attempting to fetch case-insensitive.patch from
 http://mse.uk.distfiles.macports.org/sites/distfiles.macports.org/webkit-
 gtk
 --->  Attempting to fetch case-insensitive.patch from
 http://cjj.kr.distfiles.macports.org/webkit-gtk
 --->  Attempting to fetch case-insensitive.patch from
 http://nue.de.distfiles.macports.org/macports/distfiles/webkit-gtk
 --->  Attempting to fetch case-insensitive.patch from
 http://fco.it.distfiles.macports.org/mirrors/macports-distfiles/webkit-gtk
 --->  Attempting to fetch case-insensitive.patch from
 http://osl.no.distfiles.macports.org/webkit-gtk
 --->  Attempting to fetch case-insensitive.patch from
 http://her.gr.distfiles.macports.org/mirrors/macports/mpdistfiles/webkit-
 gtk
 --->  Attempting to fetch case-insensitive.patch from
 http://aarnet.au.distfiles.macports.org/pub/macports/mpdistfiles/webkit-
 gtk
 --->  Attempting to fetch case-insensitive.patch from
 http://jog.id.distfiles.macports.org/macports/mpdistfiles/webkit-gtk
 --->  Attempting to fetch case-insensitive.patch from
 http://svn.macports.org/repository/macports/distfiles/webkit-gtk
 Error: org.macports.fetch for port webkit-gtk3 returned: fetch failed
 Please see the log file for port webkit-gtk3 for details:
     /opt/local/var/macports/logs/[hidden]portfiles_games_WebKitGtkPort
 /webkit-gtk3/main.log
 To report a bug, follow the instructions in the guide:
     http://guide.macports.org/#project.tickets
 Error: Processing of port webkit-gtk3 failed
 }}}

--

Comment:

 Please remember to CC the port maintainer(s), if any, next time.

-- 
Ticket URL: <https://trac.macports.org/ticket/48539#comment:1>
MacPorts <https://www.macports.org/>
Ports system for OS X