#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