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