Links for fricas
fricas-1.3.12.tar.gz