Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 671858 - =dev-lang/mercury-14.01.1: ERROR 404: Not Found.
Summary: =dev-lang/mercury-14.01.1: ERROR 404: Not Found.
Status: RESOLVED INVALID
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Linux bug wranglers
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2018-11-25 10:56 UTC by Tom Li
Modified: 2018-11-25 11:26 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Tom Li 2018-11-25 10:56:01 UTC 
* mercury-srcdist-14.01.1.tar.gz BLAKE2B SHA512 size ;-) ...                                                                                                            

>>> Downloading 'http://distfiles.gentoo.org/distfiles/mercury-14.01.1-gentoo-patchset-3.tar.gz'                                                                                 
--2018-11-25 10:53:13--  http://distfiles.gentoo.org/distfiles/mercury-14.01.1-gentoo-patchset-3.tar.gz                                                                          
Resolving distfiles.gentoo.org... 2600:3402:200:227::2, 2600:3404:200:237::2, 2605:bc80:3010::134, ...                                                                           
Connecting to distfiles.gentoo.org|2600:3402:200:227::2|:80... connected.                                                                                                        
HTTP request sent, awaiting response... 404 Not Found                                                                                                                            
2018-11-25 10:53:14 ERROR 404: Not Found.

>>> Downloading 'http://gentoo.ussg.indiana.edu/distfiles/mercury-14.01.1-gentoo-patchset-3.tar.gz'
--2018-11-25 10:53:14--  http://gentoo.ussg.indiana.edu/distfiles/mercury-14.01.1-gentoo-patchset-3.tar.gz
Resolving gentoo.ussg.indiana.edu... 156.56.247.195
Connecting to gentoo.ussg.indiana.edu|156.56.247.195|:80... connected.
HTTP request sent, awaiting response... 404 Not Found
2018-11-25 10:53:14 ERROR 404: Not Found.

>>> Downloading 'https://ftp.halifax.rwth-aachen.de/gentoo/distfiles/mercury-14.01.1-gentoo-patchset-3.tar.gz'
--2018-11-25 10:53:14--  https://ftp.halifax.rwth-aachen.de/gentoo/distfiles/mercury-14.01.1-gentoo-patchset-3.tar.gz
Resolving ftp.halifax.rwth-aachen.de... 2a00:8a60:e012:a00::21, 137.226.34.46
Connecting to ftp.halifax.rwth-aachen.de|2a00:8a60:e012:a00::21|:443... connected.
HTTP request sent, awaiting response... 404 Not Found
2018-11-25 10:53:15 ERROR 404: Not Found.

>>> Downloading 'http://gentoo-distfiles.mirrors.tds.net/distfiles/mercury-14.01.1-gentoo-patchset-3.tar.gz'
--2018-11-25 10:53:15--  http://gentoo-distfiles.mirrors.tds.net/distfiles/mercury-14.01.1-gentoo-patchset-3.tar.gz
Resolving gentoo-distfiles.mirrors.tds.net... 216.165.129.135
Connecting to gentoo-distfiles.mirrors.tds.net|216.165.129.135|:80... connected.
HTTP request sent, awaiting response... 404 Not Found
2018-11-25 10:53:16 ERROR 404: Not Found.

>>> Downloading 'https://gentoo.osuosl.org/distfiles/mercury-14.01.1-gentoo-patchset-3.tar.gz'
--2018-11-25 10:53:16--  https://gentoo.osuosl.org/distfiles/mercury-14.01.1-gentoo-patchset-3.tar.gz
Resolving gentoo.osuosl.org... 2600:3402:200:227::2, 2605:bc80:3010::134, 2600:3404:200:237::2, ...
Connecting to gentoo.osuosl.org|2600:3402:200:227::2|:443... connected.
HTTP request sent, awaiting response... 404 Not Found
2018-11-25 10:53:16 ERROR 404: Not Found.

!!! Couldn't download 'mercury-14.01.1-gentoo-patchset-3.tar.gz'. Aborting.
Comment 1 Tom Li 2018-11-25 11:26:39 UTC 
Sorry for the noise. Something wrong with my mirror, the fixed version never shows up in my portage tree...