Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
fricas-1.3.4-full.tar.bz2 | 2018-07-03 17:10 | 9.9M | |
fricas-1.3.5-full.tar.bz2 | 2019-02-11 18:51 | 10M | |
fricas-1.3.6-full.tar.bz2 | 2020-03-10 07:26 | 9.9M | |
fricas-1.3.8-full.tar.bz2 | 2022-10-09 13:15 | 10M | |
fricas-1.3.9-full.tar.bz2 | 2023-07-17 15:01 | 10M | |
fricas-1.3.10-full.tar.bz2 | 2024-01-10 17:14 | 10M | |