On Wed, Mar 11, 2020 at 2:38 PM Enrique Artal <[email protected]> wrote: > > There are also upgrades of gap packages. Should gap_packages be upgraded to? yes, certainly. Every time we update GAP spkg, gap_packages is also updated.
> > El miércoles, 11 de marzo de 2020, 12:13:43 (UTC+1), Dima Pasechnik escribió: >> >> new version of GAP, 4.11, is out, we should upgrade. Here is the ticket. >> >> ---------- Forwarded message --------- >> From: sage-trac <[email protected]> >> Date: Wed, Mar 11, 2020 at 11:12 AM >> Subject: [sage-trac] #29314: update GAP to version 4.11 >> To: >> >> >> #29314: update GAP to version 4.11 >> ----------------------------+---------------------------------- >> Reporter: dimpase | Type: enhancement >> Status: new | Priority: major >> Milestone: sage-9.1 | Component: packages: standard >> Keywords: | Merged in: >> Authors: | Reviewers: >> Report Upstream: N/A | Work issues: >> Branch: | Commit: >> Dependencies: | Stopgaps: >> ----------------------------+---------------------------------- >> GAP 4.11.0 has been released. >> >> tarball: >> https://www.gap-system.org/pub/gap/gap-4.11/tar.bz2/gap-4.11.0.tar.bz2 >> >> -- >> Ticket URL: <https://trac.sagemath.org/ticket/29314> >> Sage <http://www.sagemath.org> >> Sage: Creating a Viable Open Source Alternative to Magma, Maple, >> Mathematica, and MATLAB > > -- > 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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/1af9a8da-854c-4b41-8676-282d0aba3deb%40googlegroups.com. -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq3j558yU-uj1cbCefm0t6b2mUr53dz%2Bt_jLYV9uTFpG6g%40mail.gmail.com.
