../ 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 fricas-1.3.8-full.tar.bz2 09-Oct-2022 17:15 10878913