Re: [sage-release] Sage 8.7.beta0 released
On 2019-01-23 21:47, Volker Braun wrote: 5389d8dc87 (tag: 8.7.beta0, trac/develop) It's also tagged (presumably by mistake) as 8.7.rc0. -- 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.
Re: [sage-release] Sage 8.7.beta0 released
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.
Re: [sage-release] Sage 8.7.beta0 released
I accidentally typed in rc0 but then corrected it to beta0, any vestiges of 8.7.rc0 should just be local to your git repo (please delete / ignore) On Wednesday, January 23, 2019 at 9:57:13 PM UTC+1, Jeroen Demeyer wrote: > > On 2019-01-23 21:47, Volker Braun wrote: > > 5389d8dc87 (tag: 8.7.beta0, trac/develop) > > It's also tagged (presumably by mistake) as 8.7.rc0. > -- 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.
Re: [sage-release] Sage 8.7.beta0 released
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.
Re: [sage-release] Sage 8.7.beta0 released
More precisely, the "tarball" is just this HTML fragment: You are being href="https://codeload.github.com/msoos/cryptominisat/tar.gz/5.6.6";>redirected. I don't know how the release manager downloaded that tarball, as the link on Trac #25480 is correctly responding with a 302 which any decent downloader should automatically follow: HTTP/1.1 302 Found Date: Thu, 24 Jan 2019 09:14:59 GMT Content-Type: text/html; charset=utf-8 Transfer-Encoding: chunked Server: GitHub.com Status: 302 Found Vary: X-PJAX Location: https://codeload.github.com/msoos/cryptominisat/tar.gz/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.
Re: [sage-release] Sage 8.7.beta0 released
On Thu, Jan 24, 2019 at 9:19 AM Jeroen Demeyer wrote: > > More precisely, the "tarball" is just this HTML fragment: > > You are being href="https://codeload.github.com/msoos/cryptominisat/tar.gz/5.6.6";>redirected. > > I don't know how the release manager downloaded that tarball, as the > link on Trac #25480 is correctly responding with a 302 which any decent > downloader should automatically follow: wget would do it right, but ends up creating a misnamed file 5.6.6.tag.gz curl -O would download html fragment curl -O -L would do the same as wget above does. curl -L -o blah.foo would get the correct file and save it to blah.foo I don't know how to make curl use the correct tarball name for saving. (it also has options like --post302, I don't know whether they are any better) Dima > >HTTP/1.1 302 Found >Date: Thu, 24 Jan 2019 09:14:59 GMT >Content-Type: text/html; charset=utf-8 >Transfer-Encoding: chunked >Server: GitHub.com >Status: 302 Found >Vary: X-PJAX >Location: https://codeload.github.com/msoos/cryptominisat/tar.gz/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. -- 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.
Re: [sage-release] Sage 8.7.beta0 released
On 2019-01-24 10:44, Dima Pasechnik wrote: curl -O would download html fragment Crazy stuff. What's the rationale for *not* following the Location header by default? -- 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.
Re: [sage-release] Sage 8.7.beta0 released
On Thu, Jan 24, 2019 at 11:10 AM Jeroen Demeyer wrote: > > On 2019-01-24 10:44, Dima Pasechnik wrote: > > curl -O would download html fragment > > Crazy stuff. What's the rationale for *not* following the Location > header by default? well, ask here: https://github.com/curl/curl they are very reasonable, I once had this: https://github.com/curl/curl/issues/3143 > > -- > 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. -- 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.
Re: [sage-release] Sage 8.7.beta0 released
On Thu, Jan 24, 2019 at 8:10 AM Vincent Delecroix <20100.delecr...@gmail.com> wrote: > And I confirm that the one downloaded from mirrorservice.org > is broken I've disabled that mirror. Ideally, whatever mechanism is downloading the files in Sage should blacklist such a mirror when there is an error. Then start again without that mirror. > > Could that be uploaded again? > No, there is only the master server with the main (presumably correct) file. Mirrors pull from there. -- harald -- 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.
Re: [sage-release] Sage 8.7.beta0 released
It's really weird that mirrors don't checksum stuff they download and host. Could it be due to an error in setting the mirroring on Sage's side? Just wondering... On Thu, Jan 24, 2019 at 11:21 AM Harald Schilly wrote: > > > > On Thu, Jan 24, 2019 at 8:10 AM Vincent Delecroix <20100.delecr...@gmail.com> > wrote: >> >> And I confirm that the one downloaded from mirrorservice.org >> is broken > > > I've disabled that mirror. Ideally, whatever mechanism is downloading the > files in Sage should blacklist such a mirror when there is an error. Then > start again without that mirror. > > >> >> >> Could that be uploaded again? > > > No, there is only the master server with the main (presumably correct) file. > Mirrors pull from there. > > -- harald > > > > -- > 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. -- 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.
Re: [sage-release] Sage 8.7.beta0 released
On 2019-01-24 12:20, Harald Schilly wrote: there is only the master server with the main (presumably correct) file. It's NOT correct in this case (see the other posts in this thread). The file genuinely has to be uploaded again to the master server. And probably there is nothing wrong with that specific mirror, please unblock it. -- 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.
Re: [sage-release] Sage 8.7.beta0 released
Ok, I see, I've removed that file and pushed the timestamp of the master mirror. I don't know how to get the correct file, so that's all I can do… On Thu, Jan 24, 2019 at 12:44 PM Jeroen Demeyer wrote: > On 2019-01-24 12:20, Harald Schilly wrote: > >there is only the master server with the main (presumably correct) > > file. > > It's NOT correct in this case (see the other posts in this thread). The > file genuinely has to be uploaded again to the master server. > > And probably there is nothing wrong with that specific mirror, please > unblock it. > > -- > 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. > -- 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.
Re: [sage-release] Sage 8.7.beta0 released
ok, it's the one being pointed at, makes sense. I've replaced the file. Master right now: files@k8s:~/files/spkg$ sha1sum ./upstream/cryptominisat/cryptominisat-5.6.6.tar.gz 568cd2f528609a31d217e24e381de87e011499d4 ./upstream/cryptominisat/cryptominisat-5.6.6.tar.gz On Thu, Jan 24, 2019 at 1:05 PM Harald Schilly wrote: > Ok, I see, I've removed that file and pushed the timestamp of the master > mirror. I don't know how to get the correct file, so that's all I can do… > > On Thu, Jan 24, 2019 at 12:44 PM Jeroen Demeyer > wrote: > >> On 2019-01-24 12:20, Harald Schilly wrote: >> >there is only the master server with the main (presumably correct) >> > file. >> >> It's NOT correct in this case (see the other posts in this thread). The >> file genuinely has to be uploaded again to the master server. >> >> And probably there is nothing wrong with that specific mirror, please >> unblock it. >> >> -- >> 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. >> > -- 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.
Re: [sage-release] Sage 8.7.beta0 released
Under Ubuntu 18.10, I had one transient failure. sage -t --long --warn-long 53.6 src/sage/numerical/linear_tensor_element.pyx # Killed due to abort sage/local/bin/python2 cored. Running the test standalone passed, as did rerunning all tests again. On 1/23/19 2:47 PM, Volker Braun wrote: -- 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.
Re: [sage-release] Sage 8.7.beta0 released
> On Jan 23, 2019, at 12:47 , Volker Braun wrote:
>
> As always, you can get the latest beta version from the "develop" git branch.
> Alternatively, the self-contained source tarball is at
> http://www.sagemath.org/download-latest.html
Built w/o problems from fresh clones of the develop tree, on three macOS
platforms: 10.11.6 (mid-2014 MBP, Quad-core Core i7), 10.13.6 (2017 iMac Pro,
Xeon W), and 10.14.2 (2017 MBP, Quad-core Core i7). For testing (‘ptestlong’):
10.11.6: all tests passed!
10.13.6: one doctest failed:
sage -t --long --warn-long 72.5 src/sage/libs/singular/polynomial.pyx
See below for the output.
This test passed when run stand-alone.
10.14.2: all tests passed!
Justin
**
File "src/sage/libs/singular/polynomial.pyx", line 184, in
sage.libs.singular.polynomial.singular_polynomial_call
Failed example:
for i in range(30): # long time
n = leak(1)
print("Leaked {} bytes".format(n))
if n == 0:
zeros += 1
if zeros >= 6:
break
else:
zeros = 0
Expected:
Leaked...
Leaked 0 bytes
Leaked 0 bytes
Leaked 0 bytes
Leaked 0 bytes
Leaked 0 bytes
Got:
Leaked 115129450496 bytes
Leaked 327155712 bytes
Leaked 272629760 bytes
Leaked 327155712 bytes
Leaked 327155712 bytes
Leaked 327155712 bytes
Leaked 327155712 bytes
Leaked 343932928 bytes
Leaked 335544320 bytes
Leaked 0 bytes
Leaked 71303168 bytes
Leaked 331350016 bytes
Leaked 331350016 bytes
Leaked 327155712 bytes
Leaked 0 bytes
Leaked 327155712 bytes
Leaked 0 bytes
Leaked 335544320 bytes
Leaked 0 bytes
Leaked 0 bytes
Leaked 318767104 bytes
Leaked 339738624 bytes
Leaked 0 bytes
Leaked 0 bytes
Leaked 0 bytes
Leaked 0 bytes
Leaked 331350016 bytes
Leaked 138412032 bytes
Leaked 327155712 bytes
Leaked 0 bytes
**
1 item had failures:
1 of 12 in sage.libs.singular.polynomial.singular_polynomial_call
[51 tests, 1 failure, 711.16 s]
--
Justin C. Walker, Curmudgeon-At-Large
Institute for the Absorption of Federal Funds
Men are from Earth.
Women are from Earth.
Deal with it.
--
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.
