I do have a valid tarball on my computer
$ sha1sum cryptominisat-5.6.6.tar.gz
568cd2f528609a31d217e24e381de87e011499d4
And I confirm that the one downloaded from mirrorservice.org
is broken
$ sha1sum cryptominisat-5.6.6.tar.gz
0ff5ce55d8e3d199c81c5ebef5abf7f06a47796a
It is a completely broken archive
$ tar tzf cryptominisat-5.6.6.tar.gz
gzip: stdin: not in gzip format
tar: Child returned status 1
tar: Error is not recoverable: exiting now
Could that be uploaded again?
Vincent
Le 23/01/2019 à 21:58, Jeroen Demeyer a écrit :
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 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.
