../ fricas-1.3.10-full.tar.bz2 11-Jan-2024 06:14 10M fricas-1.3.11-full.tar.bz2 06-Jul-2024 23:37 10M fricas-1.3.12-full.tar.bz2 09-Jul-2025 07:42 10M fricas-1.3.4-full.tar.bz2 04-Jul-2018 05:10 10M fricas-1.3.5-full.tar.bz2 12-Feb-2019 07:51 10M fricas-1.3.6-full.tar.bz2 10-Mar-2020 19:26 10M fricas-1.3.8-full.tar.bz2 10-Oct-2022 01:15 10M fricas-1.3.9-full.tar.bz2 18-Jul-2023 03:01 10M