On 2019-01-23 21:47, Volker Braun wrote:
7aa39995c5 Trac #25480: Upgrade to cryptominisat 5.6.6 (and make it an
optional package again)
There is something wrong with the tarball:
[cryptominisat-5.6.6] Found local metadata for cryptominisat-5.6.6
[cryptominisat-5.6.6] Attempting to download package
cryptominisat-5.6.6.tar.gz from mirrors
[cryptominisat-5.6.6]
http://www.mirrorservice.org/sites/www.sagemath.org/spkg/upstream/cryptominisat/cryptominisat-5.6.6.tar.gz
[cryptominisat-5.6.6]
[......................................................................]
[cryptominisat-5.6.6]
************************************************************************
[cryptominisat-5.6.6] Traceback (most recent call last):
[cryptominisat-5.6.6] File
"/home/jdemeyer/sage-patchbot/build/bin/../sage_bootstrap/download/cmdline.py",
line 118, in run_safe
[cryptominisat-5.6.6] run()
[cryptominisat-5.6.6] File
"/home/jdemeyer/sage-patchbot/build/bin/../sage_bootstrap/download/cmdline.py",
line 100, in run
[cryptominisat-5.6.6] app.download_tarball(args.url_or_tarball,
args.destination)
[cryptominisat-5.6.6] File
"/home/jdemeyer/sage-patchbot/build/bin/../sage_bootstrap/download/app.py",
line 43, in download_tarball
[cryptominisat-5.6.6] tarball.download()
[cryptominisat-5.6.6] File
"/home/jdemeyer/sage-patchbot/build/bin/../sage_bootstrap/tarball.py",
line 164, in download
[cryptominisat-5.6.6] raise ChecksumError('checksum does not match')
[cryptominisat-5.6.6] ChecksumError: checksum does not match
[cryptominisat-5.6.6]
************************************************************************
[cryptominisat-5.6.6]
************************************************************************
[cryptominisat-5.6.6] Error downloading cryptominisat-5.6.6.tar.gz
[cryptominisat-5.6.6]
************************************************************************
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-release.
For more options, visit https://groups.google.com/d/optout.
