FS#62888 - [popt] Source is unable to fetch

Attached to Project: Arch Linux
Opened by Felix Yan (felixonmars) - Thursday, 13 June 2019, 08:04 GMT
Last edited by Jelle van der Waa (jelly) - Thursday, 21 November 2019, 09:04 GMT
Task Type Bug Report
Category Packages: Core
Status Closed
Assigned To Jelle van der Waa (jelly)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:
The source from domain rpm5.org cannot be fetched:

curl: (6) Could not resolve host: rpm5.org

Additional info:
* package version(s)
popt 1.16-10
This task depends upon

Closed by  Jelle van der Waa (jelly)
Thursday, 21 November 2019, 09:04 GMT
Reason for closing:  Fixed
Additional comments about closing:  fixed in -12.
Comment by Andreas Baumann (andreas_baumann) - Tuesday, 30 July 2019, 16:18 GMT
Temporary workaround, use Debian archive, see https://git.archlinux32.org/archlinux32/packages/src/branch/master/core/popt
Comment by Andreas Baumann (andreas_baumann) - Thursday, 01 August 2019, 09:03 GMT
See also: https://bugs.launchpad.net/ubuntu/+source/popt/+bug/1838436