Thanks a lot, Dima.
I followed your advice, and fricas is now installed.
Pablo
El lunes, 24 de octubre de 2022 a las 12:02:58 UTC+2, dim...@gmail.com
escribió:
> On Mon, Oct 24, 2022 at 11:21 AM Pablo Vitoria wrote:
> >
> > Hi,
> >
> > I run Sage 9.7 in Arch linux under WSL2
> > I wanted to i
On Mon, Oct 24, 2022 at 11:21 AM Pablo Vitoria wrote:
>
> Hi,
>
> I run Sage 9.7 in Arch linux under WSL2
> I wanted to install FriCas inside Sage, with sage -i fricas. But -i seems to
> be an unknown option.
If fricas is packaged by archlinux as a package, you can install it
using its package s