Summary: | dev-libs/mpfr URL changed | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Maxim Litvinov <metalim> |
Component: | [OLD] Development | Assignee: | Gentoo Linux bug wranglers <bug-wranglers> |
Status: | RESOLVED WORKSFORME | ||
Severity: | normal | CC: | walch.martin |
Priority: | High | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
Maxim Litvinov
2011-01-11 15:06:08 UTC
SRC_URI="http://www.mpfr.org/${P}/${P}.tar.bz2" should work and also be more robust for newer versions. (Alternatively bz2 could be replaced by xz) (In reply to comment #0) > Resolving mirrors.sec.informatik.tu-darmstadt.de... failed: Name or service not > known. > wget: unable to resolve host address `mirrors.sec.informatik.tu-darmstadt.de' > >>> Downloading 'http://www.mpfr.org/mpfr-current/mpfr-2.4.2.tar.bz2' > --2011-01-11 15:55:47-- http://www.mpfr.org/mpfr-current/mpfr-2.4.2.tar.bz2 > Resolving www.mpfr.org... 152.81.144.6 > Connecting to www.mpfr.org|152.81.144.6|:80... connected. > HTTP request sent, awaiting response... 404 Not Found > 2011-01-11 15:55:47 ERROR 404: Not Found. Fix your GENTOO_MIRRORS first: > GENTOO_MIRRORS="http://mirrors.sec.informatik.tu-darmstadt.de/gentoo/ " Gentoo mirrors are mirroring that file quite nicely. |