2021-05-04 17:04:10 UTC, Matthias Koeppe:
>
> On Tuesday, May 4, 2021 at 7:00:55 AM UTC-7 Emmanuel Charpentier:
> >
> > Trying to list the installed optional packages, I innocently typed :
> >
> > $ sage -optional | grep -v not_instal
> >
> > The answer left me stimyed :
> >
> > .../sage/misc/packa
On Tuesday, May 4, 2021 at 7:00:55 AM UTC-7 Emmanuel Charpentier wrote:
> Trying to list the installed optional packages, I innocently typed :
>
> charpent@zen-book-flip:~$ sage -optional | grep -v not_instal
>
> The answer left me stimyed :
>
> /usr/local/sage-9/local/lib/python3.9/site-packages/
