[sage-devel] How to make package managers cry

2018-05-08 Thread François Bissey
Forwarding this from on another list. I was going to only post it to sage-packaging but I really think it belongs here. PDF:

[sage-devel] Re: Missing Sage 8.2 binaries

2018-05-08 Thread Volker Braun
Binaries take a couple of days to build. On the way to the mirrors now... On Tuesday, May 8, 2018 at 8:54:42 PM UTC+2, Mark Bell wrote: > > The main sagemath.org page lists Sage 8.2 as the latest version to > download and the source and git links appear to be tagged as sage-8.2 as of > three

[sage-devel] Re: Missing Sage 8.2 binaries

2018-05-08 Thread Eric Gourgoulhon
Hi, There seems to be many failures on the buildbots: http://build.sagemath.org Eric. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to

[sage-devel] Missing Sage 8.2 binaries

2018-05-08 Thread 'Mark Bell' via sage-devel
The main sagemath.org page lists Sage 8.2 as the latest version to download and the source and git links appear to be tagged as sage-8.2 as of three days ago. However within the main download page, there don't appear to be any precompiled versions of 8.2 available. For example here:

Re: [sage-devel] Re: Improving code with AI?

2018-05-08 Thread David Loeffler
On Wednesday, 2 May 2018 20:03:24 UTC+2, Erik Bray wrote: > Indeed--at some point I plan to start running pyflakes over Sage. On 6 May 2018 at 17:07, Maarten Derickx wrote: > A big +1 on adding a "plain old rule-based lint" like pyflakes to the > testsuite. >

Re: [sage-devel] 8.2: no links to PDF files from main documentation page

2018-05-08 Thread Harald Schilly
Hello. On Mon, May 7, 2018 at 9:12 PM Justin C. Walker wrote: > Sitting here on the left coast of the USA, kicking on the above link gets > me to the “Tutorials and FAQ” page of the 8.2 documentation on > doc.sagemath.org. (That points to the HTML page, not the PDF page; not >