> 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 tre
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:
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
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
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 t
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...@gmai
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
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 r
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
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
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
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
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
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 pac
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 f
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
5389d8dc87 (tag: 8.7.beta0, trac/develop) Updated SageMath version to
8.7.beta0
36ec29e57d Trac #26969: Misc pip upgr
16 matches
Mail list logo