[lrslib-062+autotools-2017-03-03] Attempting to download package
lrslib-062+autotools-2017-03-03.tar.gz from mirrors
[...]
[lrslib-062+autotools-2017-03-03]
[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
[lrslib-062+autotools-2017-03-03] ERROR [transfer|run:135]: [Errno 404]
Not Found:
'//sagepad.org/spkg/upstream/lrslib/lrslib-062+autotools-2017-03-03.tar.gz'
[lrslib-062+autotools-2017-03-03] Traceback (most recent call last):
[lrslib-062+autotools-2017-03-03] File
"/home/patchbot/sage-patchbot/build/bin/sage-download-file", line 28, in
<module>
[lrslib-062+autotools-2017-03-03] run_safe()
[lrslib-062+autotools-2017-03-03] File
"/home/patchbot/sage-patchbot/build/bin/../sage_bootstrap/download/cmdline.py",
line 118, in run_safe
[lrslib-062+autotools-2017-03-03] run()
[lrslib-062+autotools-2017-03-03] File
"/home/patchbot/sage-patchbot/build/bin/../sage_bootstrap/download/cmdline.py",
line 100, in run
[lrslib-062+autotools-2017-03-03]
app.download_tarball(args.url_or_tarball, args.destination)
[lrslib-062+autotools-2017-03-03] File
"/home/patchbot/sage-patchbot/build/bin/../sage_bootstrap/download/app.py",
line 43, in download_tarball
[lrslib-062+autotools-2017-03-03] tarball.download()
[lrslib-062+autotools-2017-03-03] File
"/home/patchbot/sage-patchbot/build/bin/../sage_bootstrap/tarball.py",
line 161, in download
[lrslib-062+autotools-2017-03-03] raise
FileNotMirroredError('tarball does not exist on mirror network')
[lrslib-062+autotools-2017-03-03]
sage_bootstrap.tarball.FileNotMirroredError: tarball does not exist on
mirror network
make[2]: ***
[/home/patchbot/sage-patchbot/local/var/lib/sage/installed/lrslib-062+autotools-2017-03-03]
Error 1
--
You received this message because you are subscribed to the Google Groups
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-release+unsubscr...@googlegroups.com.
To post to this group, send email to sage-release@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-release.
For more options, visit https://groups.google.com/d/optout.
