| Parent directory/ | - | - |
| elpa-fricas_1.3.10-1build3_all.deb | 50K | 01-Apr-2024 14:43 |
| elpa-fricas_1.3.11-2_all.deb | 50K | 28-Jul-2024 23:59 |
| elpa-fricas_1.3.7-5_all.deb | 50K | 27-Jan-2022 18:24 |
| fricas-databases_1.3.10-1build3_all.deb | 1M | 01-Apr-2024 14:43 |
| fricas-databases_1.3.11-2_all.deb | 1M | 28-Jul-2024 23:59 |
| fricas-databases_1.3.7-5_all.deb | 1M | 27-Jan-2022 18:24 |
| fricas-doc_1.3.10-1build3_all.deb | 210K | 01-Apr-2024 14:43 |
| fricas-doc_1.3.11-2_all.deb | 211K | 28-Jul-2024 23:59 |
| fricas-doc_1.3.7-5_all.deb | 211K | 27-Jan-2022 18:24 |
| fricas-graphics-data_1.3.10-1build3_all.deb | 1M | 01-Apr-2024 14:43 |
| fricas-graphics-data_1.3.11-2_all.deb | 1M | 28-Jul-2024 23:59 |
| fricas-graphics-data_1.3.7-5_all.deb | 1M | 27-Jan-2022 18:24 |
| fricas-graphics_1.3.10-1build3_amd64.deb | 125K | 01-Apr-2024 14:43 |
| fricas-graphics_1.3.11-2_amd64.deb | 127K | 28-Jul-2024 23:59 |
| fricas-graphics_1.3.7-5_amd64.deb | 127K | 27-Jan-2022 18:24 |
| fricas-hypertex-data_1.3.10-1build3_all.deb | 666K | 01-Apr-2024 14:43 |
| fricas-hypertex-data_1.3.11-2_all.deb | 664K | 28-Jul-2024 23:59 |
| fricas-hypertex-data_1.3.7-5_all.deb | 670K | 27-Jan-2022 18:24 |
| fricas-hypertex_1.3.10-1build3_amd64.deb | 96K | 01-Apr-2024 14:43 |
| fricas-hypertex_1.3.11-2_amd64.deb | 95K | 28-Jul-2024 23:59 |
| fricas-hypertex_1.3.7-5_amd64.deb | 98K | 27-Jan-2022 18:24 |
| fricas-source_1.3.10-1build3_all.deb | 1M | 01-Apr-2024 14:43 |
| fricas-source_1.3.11-2_all.deb | 1M | 28-Jul-2024 23:59 |
| fricas-source_1.3.7-5_all.deb | 1M | 27-Jan-2022 18:24 |
| fricas-test_1.3.10-1build3_all.deb | 159K | 01-Apr-2024 14:43 |
| fricas-test_1.3.11-2_all.deb | 157K | 28-Jul-2024 23:59 |
| fricas-test_1.3.7-5_all.deb | 283K | 27-Jan-2022 18:24 |
| fricas_1.3.10-1build3.debian.tar.xz | 241K | 31-Mar-2024 06:12 |
| fricas_1.3.10-1build3.dsc | 2503 | 31-Mar-2024 06:12 |
| fricas_1.3.10-1build3_amd64.deb | 63M | 01-Apr-2024 14:43 |
| fricas_1.3.10.orig.tar.bz2 | 10M | 15-Feb-2024 12:29 |
| fricas_1.3.11-2.debian.tar.xz | 241K | 28-Jul-2024 23:59 |
| fricas_1.3.11-2.dsc | 2363 | 28-Jul-2024 23:59 |
| fricas_1.3.11-2_amd64.deb | 57M | 28-Jul-2024 23:59 |
| fricas_1.3.11.orig.tar.bz2 | 10M | 30-Jun-2024 23:49 |
| fricas_1.3.7-5.debian.tar.xz | 97K | 27-Jan-2022 17:14 |
| fricas_1.3.7-5.dsc | 2351 | 27-Jan-2022 17:14 |
| fricas_1.3.7-5_amd64.deb | 60M | 27-Jan-2022 18:24 |
| fricas_1.3.7.orig.tar.bz2 | 10M | 01-Jul-2021 23:13 |