This is now trac #28022 On Thu, Jun 20, 2019 at 4:44 AM William <[email protected]> wrote: > > Also, +1 for optional. It only made sense to include by default in the > earlier days when it was unclear what Sage > would end up being. > > William > > On Wednesday, June 19, 2019 at 2:34:52 AM UTC-7, Emmanuel Charpentier wrote: >> >> Ditto : +1 for optional >> >> Le mercredi 19 juin 2019 09:44:33 UTC+2, vdelecroix a écrit : >>> >>> +1 for optional >>> >>> Le 19/06/2019 à 09:15, Dima Pasechnik a écrit : >>> > Sure, let us make it optional. >>> > >>> > On Wed, 19 Jun 2019 at 00:15, Isuru Fernando <[email protected]> wrote: >>> > >>> >> Hi, >>> >> >>> >> Rubiks package is a combination of 3 packages with lots of patches to the >>> >> build system >>> >> >>> >> Keeping it standard requires package managers to package this strange >>> >> package of 3 packages and wastes time if nobody is using it. >>> >> >>> >> Users can use gap to solve the rubik's cube or install the rubiks spkg if >>> >> sage was built using source. >>> >> >>> >> >>> >> Isuru >>> >> >>> >> -- >>> >> 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 post to this group, send email to [email protected]. >>> >> Visit this group at https://groups.google.com/group/sage-devel. >>> >> To view this discussion on the web visit >>> >> https://groups.google.com/d/msgid/sage-devel/CA%2B01voNoM3twbkxpJp6JnJbwsHh5FDRumjCSrVAy_kB1yP5m-g%40mail.gmail.com >>> >> <https://groups.google.com/d/msgid/sage-devel/CA%2B01voNoM3twbkxpJp6JnJbwsHh5FDRumjCSrVAy_kB1yP5m-g%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> >> . >>> >> 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/sage-devel. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/5eb7d505-498c-4bd7-9f6f-c58a63e0cbbe%40googlegroups.com. > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq1R75fEZ77R3yb06EhkXNcubh2netncHOoTD92j8SQeiQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
