DISTFILES: pike: ERRORS: Pike-v7.6.112.tar.gz pike_modref.tar.gz pike_ref.tar.gz

[arekm]

Request by: arekm

wget -nv --no-iri --user-agent=PLD/distfiles -O ./tmp/492a22a5-1da3-409f-afcf-6da7c4e0f9b6/2ad4c65cd9475f92dfcba0bc13be0923/pike_ref.tar.gz http://pike.ida.liu.se/generated/manual/pike_ref.tar.gz:
wget: unable to resolve host address ‘pike.ida.liu.se’


wget -nv --no-iri --user-agent=PLD/distfiles -O ./tmp/492a22a5-1da3-409f-afcf-6da7c4e0f9b6/2ad4c65cd9475f92dfcba0bc13be0923/pike_ref.tar.gz http://pike.ida.liu.se/generated/manual/pike_ref.tar.gz:
exited with code 4 (0x00)

FATAL: http://pike.ida.liu.se/generated/manual/pike_ref.tar.gz (2ad4c65cd9475f92dfcba0bc13be0923) was not fetched correctly (wget -nv --no-iri --user-agent=PLD/distfiles -O ./tmp/492a22a5-1da3-409f-afcf-6da7c4e0f9b6/2ad4c65cd9475f92dfcba0bc13be0923/pike_ref.tar.gz http://pike.ida.liu.se/generated/manual/pike_ref.tar.gz: wget: unable to resolve host address ‘pike.ida.liu.se’
): file fetched but has 0 length

Files fetched: 0

ALREADY GOT: http://pike.ida.liu.se/pub/pike/latest-stable/Pike-v7.6.112.tar.gz
	3ba03096741d6df839d32a940f4a865c  Pike-v7.6.112.tar.gz
ALREADY GOT: http://pike.ida.liu.se/generated/manual/pike_modref.tar.gz
	fbe7595e28d7c220dd6f237efe7b7d68  pike_modref.tar.gz


-- 
Virtually Yours: distfiles.