Le jeudi 1 octobre 2020 21:28:58 UTC+2, Frédéric Chapoton a écrit : > > 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] > ************************************************************************ > [fricas-1.3.6] > ************************************************************************ > [fricas-1.3.6] Error downloading fricas-1.3.6-full.tar.bz2 >
Until the tarball is uploaded to our download mirrors (which should happen soon now), some workarounds are described the ticket description for - Sage Trac ticket 27309: Update FriCAS to 1.3.6 https://trac.sagemath.org/ticket/27309 One of them is: ``` $ SAGE_SPKG="sage-spkg -o" ./sage -i fricas ``` The other one is: ``` $ ./configure --enable-download-from-upstream-url ./sage -i fricas ``` Or you could manually download the tarball to your `upstream` folder (see the upstream url in `src/build/pkgs/fricas/checksums.ini`). Another way, suggested in a comment at ticket #29314, https://trac.sagemath.org/ticket/29314#comment:53 where we upgrade the `gap` and `gap_packages` SPKGs, is to use `sage -f` instead of `sage -i`. Apparently that not only forces reinstallation if a package is already there, but also forces downloading from upstream url if the tarball is missing locally and on the Sage mirrors. So: ``` $ ./sage -f fricas ``` -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/39adc370-4e75-4f0d-ae65-b64aba5c4ef2o%40googlegroups.com.
