Re: [sage-support] Not able to install fricas

2022-10-24 Thread Pablo Vitoria
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

Re: [sage-support] Not able to install fricas

2022-10-24 Thread Dima Pasechnik
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