I have very little time, but if someone posts very precise compilation instructions to upgrade from current develop, I would let my computer play with it in the background.
(currently compiling 8.5.rc1) In particular: was gap 4.10 already tested with optional packages like coxeter3 and the experimental gap3 package? Martin Am Donnerstag, 20. Dezember 2018 08:41:40 UTC+1 schrieb Emmanuel Charpentier: > > Well... > > Gap 4.10 and associated packages are a large change. I can't see it going > straight from positive_review to release. Including it would entail at > least a 8.5.rc2, and a decent shakedown period. This argues strongly in > favor of Volker's suggestion of releasing 8.5 "as is" from 8.5.rc1. > > But let's look at an alternative, aiming at advancing Debian's Sage and > supporting software as far as possible : > > Le jeudi 20 décembre 2018 00:12:42 UTC+1, Dima Pasechnik a écrit : >> >> I`ve just given #22626 (port gap/libgap to GAP 4.10) a positive >> review (Erik deserves a round of applause for this great work!) >> And the associated #26856 (gap_packages/database) will be up for >> reviewing very soon, >> I`m just running one last round of tests; that is, it should be possible >> to get >> GAP 4.10 ready on the 20.12. >> > > Nice ! That would allow 8.5.rc2 about Dec, 22 and, if all goes well and > Volker _ajuvante_, 8.5 release on Dec 29. > > What about Debian packaging ? Postulating 8.5 release on Dec 29, cant Sage > be packaged and uploaded to unstable before Jan. 12 ? > >> >> How about trying to get this into 8.5? (or perhaps 8.5.1?) >> > > Call that 8.6 rather than 8.5.1 (better marketing...). But 8.5 would be > even better... > >> >> Dima >> >> On Wed, Dec 19, 2018 at 8:34 PM Volker Braun <vbrau...@gmail.com> wrote: >> > >> > I'm inclined to release 8.5 this weekend... >> > >> > -- >> > 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+...@googlegroups.com. >> > To post to this group, send email to sage-...@googlegroups.com. >> > Visit this group at https://groups.google.com/group/sage-devel. >> > For more options, visit https://groups.google.com/d/optout. >> > -- 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+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.