Index of /distfiles/fricas/

../
fricas-1.3.4-full.tar.bz2                          03-Jul-2018 21:10            10381144
fricas-1.3.5-full.tar.bz2                          11-Feb-2019 23:51            10477848
fricas-1.3.6-full.tar.bz2                          10-Mar-2020 11:26            10422732