Looks great! Thank you! Just two small remarks:
1. since it might be useful to identify the origin of the binaries, what about adding the posfix "-LIPN" to the basename of all files? Just like release groups do? 2. Have you ever thought about cryptographically signing binaries? md5 is kinda broken for that, but I could imagine that it is not hard to sign the textfile which "sha256 *" produces. Recently, I got an email about this, but we aren't doing it. It would be a little bit in the direction of how deb/rpm files are signed&verified. -- harald On Tue, Jul 28, 2015 at 3:11 PM, Thierry <sage-googlesu...@lma.metelu.net> wrote: > Hi, > > the compilation of Sage 6.8 went very smoothly on every currently > supported Debian and Ubuntu versions in both 32 and 64 bits (16 possible > combinations), for the first time all ptestlong passed without having to > re-test expect.py manually. > > Since recent work of Jan in maintaining new buildbot slaves at AIMS for > the same configurations, they should not be as useful as before, the > impatient can still download the binaries here, both in .tar.gz and > .tar.lrz format: > > https://lipn.univ-paris13.fr/~monteil/hebergement/sage/binaries/6.8/ > > Ciao, > Thierry > > -- > 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 http://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 http://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.
