On Mon, Mar 27, 2017 at 12:32 AM, Volker Braun wrote:
> Binaries are done!
Also, the documentation pages are updated, as is the website. Is it ok
if I slim the mirror a little bit by removing old development sources?
I think they're only for historic purposes and nobody needs them.
-- harald
--
>
> Also, the documentation pages are updated, as is the website. Is it ok
> if I slim the mirror a little bit by removing old development sources?
>
>
I thought that we had that at least on the main page - perhaps not every
mirror?
--
You received this message because you are subscribed to
On Mon, Mar 27, 2017 at 5:16 PM, kcrisman wrote:
> I thought that we had that at least on the main page - perhaps not every
> mirror?
The main website doesn't serve any sage sources or binaries. Maybe you
mean the "old" files?
-- h
--
You received this message because you are subscribed to the
Hi,
On Mon, Mar 27, 2017 at 08:16:45AM -0700, kcrisman wrote:
> > Also, the documentation pages are updated, as is the website. Is it ok
> > if I slim the mirror a little bit by removing old development sources?
> >
> I thought that we had that at least on the main page - perhaps not every
> mi
On Mon, Mar 27, 2017 at 5:24 PM, Thierry
wrote:
> +1, while it is not necessary to have them on the mirrors, they should all
> remain publically available from somewhere.
I'm curious, is there really such a value of the development sources?
We never archived them so far, so that would be a change
On Sat, Mar 25, 2017 at 4:11 PM, Volker Braun wrote:
> The "master" git branch has been updated to Sage-7.6. 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
>
> T
I'm fine with deleting old beta versions, there isn't any point in keeping
those around.
On Monday, March 27, 2017 at 12:30:13 PM UTC+2, Harald Schilly wrote:
>
> On Mon, Mar 27, 2017 at 12:32 AM, Volker Braun > wrote:
> > Binaries are done!
>
> Also, the documentation pages are updated, as
They are all tagged in git anyway. And so far we don’t clean the
mirror for the individual package tarballs. So everything could
be downloaded from a given git tag.
François
> On 28/03/2017, at 08:47, Volker Braun wrote:
>
> I'm fine with deleting old beta versions, there isn't any point in ke