| Parent directory/ | - | - |
| fricas_1.3.6-6.dsc | 2.3 KiB | 24 Apr 2021 13:42:10 +0000 |
| fricas_1.3.8-6.dsc | 2.3 KiB | 14 Jan 2023 00:19:40 +0000 |
| fricas_1.3.11-3.dsc | 2.3 KiB | 27 Apr 2025 01:29:18 +0000 |
| fricas_1.3.6-6.debian.tar.xz | 64.6 KiB | 24 Apr 2021 13:42:10 +0000 |
| fricas-hypertex_1.3.8-6_amd64.deb | 90.7 KiB | 14 Jan 2023 02:41:59 +0000 |
| fricas-graphics_1.3.8-6_amd64.deb | 90.7 KiB | 14 Jan 2023 02:41:59 +0000 |
| elpa-fricas_1.3.6-6_all.deb | 129.0 KiB | 24 Apr 2021 14:32:58 +0000 |
| elpa-fricas_1.3.8-6_all.deb | 134.4 KiB | 14 Jan 2023 02:42:01 +0000 |
| elpa-fricas_1.3.11-3_all.deb | 143.8 KiB | 27 Apr 2025 02:24:37 +0000 |
| fricas-hypertex_1.3.6-6_amd64.deb | 172.2 KiB | 24 Apr 2021 14:43:21 +0000 |
| fricas-hypertex_1.3.11-3_amd64.deb | 184.8 KiB | 27 Apr 2025 02:24:35 +0000 |
| fricas-graphics_1.3.6-6_amd64.deb | 200.3 KiB | 24 Apr 2021 14:43:21 +0000 |
| fricas-graphics_1.3.11-3_amd64.deb | 216.5 KiB | 27 Apr 2025 02:24:35 +0000 |
| fricas_1.3.8-6.debian.tar.xz | 239.5 KiB | 14 Jan 2023 00:19:40 +0000 |
| fricas-test_1.3.11-3_all.deb | 246.4 KiB | 27 Apr 2025 02:24:37 +0000 |
| fricas-test_1.3.8-6_all.deb | 251.6 KiB | 14 Jan 2023 02:42:01 +0000 |
| fricas_1.3.11-3.debian.tar.xz | 255.3 KiB | 27 Apr 2025 01:29:18 +0000 |
| fricas-doc_1.3.6-6_all.deb | 284.5 KiB | 24 Apr 2021 14:32:58 +0000 |
| fricas-doc_1.3.8-6_all.deb | 287.9 KiB | 14 Jan 2023 02:42:01 +0000 |
| fricas-doc_1.3.11-3_all.deb | 296.9 KiB | 27 Apr 2025 02:24:37 +0000 |
| fricas-test_1.3.6-6_all.deb | 353.0 KiB | 24 Apr 2021 14:32:58 +0000 |
| fricas-hypertex-data_1.3.8-6_all.deb | 688.1 KiB | 14 Jan 2023 02:42:01 +0000 |
| fricas-hypertex-data_1.3.11-3_all.deb | 722.6 KiB | 27 Apr 2025 02:24:37 +0000 |
| fricas-hypertex-data_1.3.6-6_all.deb | 725.5 KiB | 24 Apr 2021 14:32:58 +0000 |
| fricas-databases_1.3.6-6_all.deb | 1.2 MiB | 24 Apr 2021 14:32:58 +0000 |
| fricas-graphics-data_1.3.6-6_all.deb | 1.2 MiB | 24 Apr 2021 14:32:58 +0000 |
| fricas-databases_1.3.8-6_all.deb | 1.3 MiB | 14 Jan 2023 02:42:01 +0000 |
| fricas-databases_1.3.11-3_all.deb | 1.3 MiB | 27 Apr 2025 02:24:37 +0000 |
| fricas-graphics-data_1.3.8-6_all.deb | 1.3 MiB | 14 Jan 2023 02:42:01 +0000 |
| fricas-graphics-data_1.3.11-3_all.deb | 1.3 MiB | 27 Apr 2025 02:24:37 +0000 |
| fricas-source_1.3.6-6_all.deb | 1.3 MiB | 24 Apr 2021 14:32:58 +0000 |
| fricas-source_1.3.8-6_all.deb | 1.4 MiB | 14 Jan 2023 02:42:01 +0000 |
| fricas-source_1.3.11-3_all.deb | 1.4 MiB | 27 Apr 2025 02:24:37 +0000 |
| fricas_1.3.6.orig.tar.bz2 | 9.9 MiB | 23 Nov 2020 15:51:01 +0000 |
| fricas_1.3.8.orig.tar.bz2 | 10.4 MiB | 07 Jul 2022 18:49:54 +0000 |
| fricas_1.3.11.orig.tar.bz2 | 10.4 MiB | 30 Jun 2024 17:38:07 +0000 |
| fricas_1.3.6-6_amd64.deb | 52.3 MiB | 24 Apr 2021 14:43:21 +0000 |
| fricas_1.3.11-3_amd64.deb | 52.6 MiB | 27 Apr 2025 02:24:35 +0000 |
| fricas_1.3.8-6_amd64.deb | 54.9 MiB | 14 Jan 2023 02:41:59 +0000 |
