| Name | Last modified | Size | Description |
---|
|
| Parent Directory | | - | |
| fricas_1.3.7-5.dsc | 28-Jan-2022 06:14 | 2.3K | |
| fricas_1.3.11-2.dsc | 29-Jul-2024 11:59 | 2.3K | |
| fricas_1.3.10-1build3.dsc | 31-Mar-2024 19:12 | 2.4K | |
| elpa-fricas_1.3.10-1build3_all.deb | 02-Apr-2024 03:43 | 50K | |
| elpa-fricas_1.3.7-5_all.deb | 28-Jan-2022 07:24 | 50K | |
| elpa-fricas_1.3.11-2_all.deb | 29-Jul-2024 11:59 | 50K | |
| fricas-hypertex_1.3.11-2_amd64.deb | 29-Jul-2024 11:59 | 95K | |
| fricas-hypertex_1.3.10-1build3_amd64.deb | 02-Apr-2024 03:43 | 96K | |
| fricas_1.3.7-5.debian.tar.xz | 28-Jan-2022 06:14 | 97K | |
| fricas-hypertex_1.3.7-5_amd64.deb | 28-Jan-2022 07:24 | 98K | |
| fricas-graphics_1.3.10-1build3_amd64.deb | 02-Apr-2024 03:43 | 125K | |
| fricas-graphics_1.3.7-5_amd64.deb | 28-Jan-2022 07:24 | 127K | |
| fricas-graphics_1.3.11-2_amd64.deb | 29-Jul-2024 11:59 | 127K | |
| fricas-test_1.3.11-2_all.deb | 29-Jul-2024 11:59 | 157K | |
| fricas-test_1.3.10-1build3_all.deb | 02-Apr-2024 03:43 | 159K | |
| fricas-doc_1.3.10-1build3_all.deb | 02-Apr-2024 03:43 | 210K | |
| fricas-doc_1.3.11-2_all.deb | 29-Jul-2024 11:59 | 211K | |
| fricas-doc_1.3.7-5_all.deb | 28-Jan-2022 07:24 | 211K | |
| fricas_1.3.10-1build3.debian.tar.xz | 31-Mar-2024 19:12 | 241K | |
| fricas_1.3.11-2.debian.tar.xz | 29-Jul-2024 11:59 | 241K | |
| fricas-test_1.3.7-5_all.deb | 28-Jan-2022 07:24 | 283K | |
| fricas-hypertex-data_1.3.11-2_all.deb | 29-Jul-2024 11:59 | 664K | |
| fricas-hypertex-data_1.3.10-1build3_all.deb | 02-Apr-2024 03:43 | 666K | |
| fricas-hypertex-data_1.3.7-5_all.deb | 28-Jan-2022 07:24 | 670K | |
| fricas-databases_1.3.11-2_all.deb | 29-Jul-2024 11:59 | 1.1M | |
| fricas-databases_1.3.7-5_all.deb | 28-Jan-2022 07:24 | 1.1M | |
| fricas-databases_1.3.10-1build3_all.deb | 02-Apr-2024 03:43 | 1.2M | |
| fricas-graphics-data_1.3.10-1build3_all.deb | 02-Apr-2024 03:43 | 1.2M | |
| fricas-graphics-data_1.3.11-2_all.deb | 29-Jul-2024 11:59 | 1.2M | |
| fricas-graphics-data_1.3.7-5_all.deb | 28-Jan-2022 07:24 | 1.2M | |
| fricas-source_1.3.7-5_all.deb | 28-Jan-2022 07:24 | 1.3M | |
| fricas-source_1.3.11-2_all.deb | 29-Jul-2024 11:59 | 1.3M | |
| fricas-source_1.3.10-1build3_all.deb | 02-Apr-2024 03:43 | 1.3M | |
| fricas_1.3.7.orig.tar.bz2 | 02-Jul-2021 11:13 | 10M | |
| fricas_1.3.11.orig.tar.bz2 | 01-Jul-2024 11:49 | 10M | |
| fricas_1.3.10.orig.tar.bz2 | 16-Feb-2024 01:29 | 10M | |
| fricas_1.3.11-2_amd64.deb | 29-Jul-2024 11:59 | 57M | |
| fricas_1.3.7-5_amd64.deb | 28-Jan-2022 07:24 | 60M | |
| fricas_1.3.10-1build3_amd64.deb | 02-Apr-2024 03:43 | 63M | |
|