| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| fricas-1.3.10-full.tar.bz2 | 10.5 MiB | 2024-Jan-11 07:14 |
| fricas-1.3.11-full.tar.bz2 | 10.4 MiB | 2024-Jul-07 00:37 |
| fricas-1.3.4-full.tar.bz2 | 9.9 MiB | 2018-Jul-04 06:10 |
| fricas-1.3.5-full.tar.bz2 | 10.0 MiB | 2019-Feb-12 08:51 |
| fricas-1.3.6-full.tar.bz2 | 9.9 MiB | 2020-Mar-10 20:26 |
| fricas-1.3.8-full.tar.bz2 | 10.4 MiB | 2022-Oct-10 02:15 |
| fricas-1.3.9-full.tar.bz2 | 10.4 MiB | 2023-Jul-18 04:01 |