On Mon, Aug 24, 2020 at 11:06 AM Thierry <sage-googlesu...@lma.metelu.net> wrote: > > Hi, > > apparently, fricas-1.3.6-full.tar.bz2 is missing on the mirrors. > > Related ticket : https://trac.sagemath.org/ticket/27309 >
in view of --enable-download-from-upstream-url option, this is mostly important for stable releases. By the way, shouldn't this option be default, at least for development purposes? It's annoying to type it all the time. Dima > Ciao, > Thierry > > > On Mon, Aug 24, 2020 at 11:02:03AM +0200, Thierry Dumont wrote: > > Ubuntu 20-04, migration from 9.2 beta9 to beta 10. > > > > -compilation ok. > > -make ptestlong: All tests passed! > > t.d. > > > > -- > > 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 view this discussion on the web visit > > https://groups.google.com/d/msgid/sage-release/da0bbb90-2c46-9145-4312-57f1f6db7f0e%40math.univ-lyon1.fr. > > > begin:vcard > > fn:Thierry Dumont > > n:Dumont;Thierry > > org;quoted-printable;quoted-printable:CNRS & Universit=C3=A9 Lyon > > 1.;Institut Camille Jordan -- Math=C3=A9matiques / Mathematics. > > adr:;;43 Bd du 11 Novembre 1918;Villeurbanne;;69621;France > > email;internet:tdum...@math.univ-lyon1.fr > > tel;work:04 72 44 85 23. > > tel;fax:04 72 44 80 53 > > note:github: https://github.com/thierry-dumont > > x-mozilla-html:FALSE > > url:http://math.univ-lyon1.fr/~tdumont > > version:2.1 > > end:vcard > > > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/sage-release/20200824100614.5urjpahnm5mqn6fp%40metelu.net. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/CAAWYfq1mjBku%2Bwqp4WyfQcBPWbXL9j8ckxu8yiAPLQxtPJjMWA%40mail.gmail.com.
