Index of /MacPorts/mpdistfiles/fricas/


../
fricas-1.3.10-full.tar.bz2                         10-Jan-2024 22:14     10M
fricas-1.3.11-full.tar.bz2                         06-Jul-2024 15:37     10M
fricas-1.3.4-full.tar.bz2                          03-Jul-2018 21:10     10M
fricas-1.3.5-full.tar.bz2                          11-Feb-2019 23:51     10M
fricas-1.3.6-full.tar.bz2                          10-Mar-2020 11:26     10M
fricas-1.3.8-full.tar.bz2                          09-Oct-2022 17:15     10M
fricas-1.3.9-full.tar.bz2                          17-Jul-2023 19:01     10M