you need to run
./configure --enable-download-from-upstream-url
before doing sage -i fricas
On Thu, Oct 1, 2020 at 8:29 PM Frédéric Chapoton wrote:
>
> Hello,
> it seems that "sage -i fricas" is currently not working.
> Maybe the tarball is missing on the mirrors,
> or maybe the tarball name is
https://sourceforge.net/projects/fricas/files/fricas/1.3.6/
On 10/1/20 9:28 PM, Frédéric Chapoton wrote:
> Hello,
> it seems that "sage -i fricas" is currently not working.
> Maybe the tarball is missing on the mirrors,
> or maybe the tarball name is wrong ?
> Frédéric
>
> [fricas-1.3.6]
Hello,
it seems that "sage -i fricas" is currently not working.
Maybe the tarball is missing on the mirrors,
or maybe the tarball name is wrong ?
Frédéric
[fricas-1.3.6] FileNotMirroredError: tarball does not exist on mirror
network
[fricas-1.3.6]