[gentoo-science] fplll sources

[François Bissey]

Hi all,

I have been in contact over the last few days with a sage-on-gentoo
user who is in deep trouble trying to use flto.
But in the last emails we exchanged came this:
My only other thought was, since the lattice tests are failing, maybe it was related to fplll.  The ebuid for that tried to download source from a page that no longer existed so I converted an src.rpm to tar.gz for that.  It seems that fplll was moved to github (https://github.com/dstehle/fplll) and I couldn't figure out how to make that work in an ebuild.

So he couldn’t fetch the sources for fplll which is in the main tree.
Can anyone check if the sources are properly mirrored. If not
I can provide the appropriate tarball.

François