| Parent directory/ | - | - |
| fricas_1.3.10-1build3_riscv64.deb | 198.3 MiB | 01-04-2024 01:00 |
| fricas_1.3.11-2_riscv64.deb | 172.3 MiB | 29-07-2024 08:18 |
| fricas_1.3.11-5_riscv64.deb | 170.6 MiB | 02-11-2025 18:35 |
| fricas_1.3.7-5_riscv64.deb | 161.0 MiB | 28-01-2022 11:19 |
| fricas_1.3.11-4_riscv64.deb | 140.4 MiB | 15-05-2025 02:15 |
| fricas_1.3.10-1build3_ppc64el.deb | 65.6 MiB | 31-03-2024 11:54 |
| fricas_1.3.10-1build3_s390x.deb | 63.9 MiB | 31-03-2024 07:15 |
| fricas_1.3.10-1build3_arm64.deb | 62.0 MiB | 31-03-2024 09:59 |
| fricas_1.3.11-5_ppc64el.deb | 62.0 MiB | 28-10-2025 06:58 |
| fricas_1.3.11-5_s390x.deb | 61.1 MiB | 28-10-2025 07:05 |
| fricas_1.3.10-1build3_armhf.deb | 60.7 MiB | 31-03-2024 08:12 |
| fricas_1.3.11-4_ppc64el.deb | 59.4 MiB | 14-05-2025 19:45 |
| fricas_1.3.11-4_s390x.deb | 59.2 MiB | 14-05-2025 18:05 |
| fricas_1.3.7-5_ppc64el.deb | 59.0 MiB | 27-01-2022 18:24 |
| fricas_1.3.11-5_arm64.deb | 58.5 MiB | 28-10-2025 06:33 |
| fricas_1.3.7-5_armhf.deb | 58.3 MiB | 27-01-2022 19:34 |
| fricas_1.3.11-2_ppc64el.deb | 58.2 MiB | 29-07-2024 00:55 |
| fricas_1.3.7-5_arm64.deb | 57.9 MiB | 27-01-2022 18:54 |
| fricas_1.3.11-4_arm64.deb | 57.2 MiB | 14-05-2025 19:45 |
| fricas_1.3.11-2_s390x.deb | 56.6 MiB | 29-07-2024 00:55 |
| fricas_1.3.7-5_s390x.deb | 56.5 MiB | 27-01-2022 18:25 |
| fricas_1.3.11-5_armhf.deb | 55.6 MiB | 28-10-2025 06:45 |
| fricas_1.3.11-4_armhf.deb | 55.3 MiB | 14-05-2025 19:45 |
| fricas_1.3.11-2_arm64.deb | 55.1 MiB | 29-07-2024 00:55 |
| fricas_1.3.11-2_armhf.deb | 55.0 MiB | 29-07-2024 00:55 |
| fricas_1.3.10.orig.tar.bz2 | 10.5 MiB | 15-02-2024 12:29 |
| fricas_1.3.11.orig.tar.bz2 | 10.4 MiB | 30-06-2024 23:49 |
| fricas_1.3.7.orig.tar.bz2 | 10.4 MiB | 01-07-2021 23:13 |
| fricas-source_1.3.10-1build3_all.deb | 1.3 MiB | 01-04-2024 14:43 |
| fricas-source_1.3.11-5_all.deb | 1.3 MiB | 28-10-2025 00:13 |
| fricas-source_1.3.11-4_all.deb | 1.3 MiB | 14-05-2025 19:45 |
| fricas-source_1.3.11-2_all.deb | 1.3 MiB | 28-07-2024 23:59 |
| fricas-source_1.3.7-5_all.deb | 1.3 MiB | 27-01-2022 18:24 |
| fricas-graphics-data_1.3.7-5_all.deb | 1.2 MiB | 27-01-2022 18:24 |
| fricas-graphics-data_1.3.11-2_all.deb | 1.2 MiB | 28-07-2024 23:59 |
| fricas-graphics-data_1.3.10-1build3_all.deb | 1.2 MiB | 01-04-2024 14:43 |
| fricas-graphics-data_1.3.11-5_all.deb | 1.2 MiB | 28-10-2025 00:13 |
| fricas-graphics-data_1.3.11-4_all.deb | 1.2 MiB | 14-05-2025 19:45 |
| fricas-databases_1.3.10-1build3_all.deb | 1.2 MiB | 01-04-2024 14:43 |
| fricas-databases_1.3.7-5_all.deb | 1.1 MiB | 27-01-2022 18:24 |
| fricas-databases_1.3.11-5_all.deb | 1.1 MiB | 28-10-2025 00:13 |
| fricas-databases_1.3.11-4_all.deb | 1.1 MiB | 14-05-2025 19:45 |
| fricas-databases_1.3.11-2_all.deb | 1.1 MiB | 28-07-2024 23:59 |
| fricas-hypertex-data_1.3.7-5_all.deb | 669.8 KiB | 27-01-2022 18:24 |
| fricas-hypertex-data_1.3.10-1build3_all.deb | 666.1 KiB | 01-04-2024 14:43 |
| fricas-hypertex-data_1.3.11-2_all.deb | 663.6 KiB | 28-07-2024 23:59 |
| fricas-hypertex-data_1.3.11-5_all.deb | 660.7 KiB | 28-10-2025 00:13 |
| fricas-hypertex-data_1.3.11-4_all.deb | 660.6 KiB | 14-05-2025 19:45 |
| fricas-test_1.3.7-5_all.deb | 283.4 KiB | 27-01-2022 18:24 |
| fricas_1.3.11-5.debian.tar.xz | 255.7 KiB | 27-10-2025 23:58 |
| fricas_1.3.11-4.debian.tar.xz | 255.5 KiB | 14-05-2025 18:05 |
| fricas_1.3.11-2.debian.tar.xz | 240.7 KiB | 28-07-2024 23:59 |
| fricas_1.3.10-1build3.debian.tar.xz | 240.5 KiB | 31-03-2024 06:12 |
| fricas-doc_1.3.7-5_all.deb | 211.2 KiB | 27-01-2022 18:24 |
| fricas-doc_1.3.11-2_all.deb | 210.5 KiB | 28-07-2024 23:59 |
| fricas-doc_1.3.10-1build3_all.deb | 210.3 KiB | 01-04-2024 14:43 |
| fricas-doc_1.3.11-4_all.deb | 210.1 KiB | 14-05-2025 19:45 |
| fricas-doc_1.3.11-5_all.deb | 210.0 KiB | 28-10-2025 00:13 |
| fricas-test_1.3.10-1build3_all.deb | 159.4 KiB | 01-04-2024 14:43 |
| fricas-test_1.3.11-5_all.deb | 157.1 KiB | 28-10-2025 00:13 |
| fricas-test_1.3.11-4_all.deb | 157.0 KiB | 14-05-2025 19:45 |
| fricas-test_1.3.11-2_all.deb | 156.8 KiB | 28-07-2024 23:59 |
| fricas-graphics_1.3.10-1build3_s390x.deb | 140.8 KiB | 31-03-2024 07:15 |
| fricas-graphics_1.3.11-2_s390x.deb | 140.5 KiB | 29-07-2024 00:55 |
| fricas-graphics_1.3.11-2_ppc64el.deb | 140.5 KiB | 29-07-2024 00:55 |
| fricas-graphics_1.3.11-5_ppc64el.deb | 140.1 KiB | 28-10-2025 06:58 |
| fricas-graphics_1.3.11-4_ppc64el.deb | 139.8 KiB | 14-05-2025 19:45 |
| fricas-graphics_1.3.11-4_s390x.deb | 139.4 KiB | 14-05-2025 18:05 |
| fricas-graphics_1.3.10-1build3_ppc64el.deb | 139.2 KiB | 31-03-2024 11:54 |
| fricas-graphics_1.3.11-5_s390x.deb | 138.9 KiB | 28-10-2025 07:05 |
| fricas-graphics_1.3.11-2_riscv64.deb | 138.8 KiB | 29-07-2024 08:18 |
| fricas-graphics_1.3.11-4_riscv64.deb | 138.3 KiB | 15-05-2025 02:15 |
| fricas-graphics_1.3.7-5_ppc64el.deb | 136.7 KiB | 27-01-2022 18:24 |
| fricas-graphics_1.3.11-5_riscv64.deb | 135.8 KiB | 02-11-2025 18:35 |
| fricas-graphics_1.3.10-1build3_riscv64.deb | 135.4 KiB | 01-04-2024 01:00 |
| fricas-graphics_1.3.11-2_arm64.deb | 125.2 KiB | 29-07-2024 00:55 |
| fricas-graphics_1.3.11-4_arm64.deb | 125.1 KiB | 14-05-2025 19:45 |
| fricas-graphics_1.3.7-5_arm64.deb | 123.8 KiB | 27-01-2022 18:54 |
| fricas-graphics_1.3.7-5_s390x.deb | 123.2 KiB | 27-01-2022 18:25 |
| fricas-graphics_1.3.10-1build3_arm64.deb | 120.7 KiB | 31-03-2024 09:59 |
| fricas-graphics_1.3.11-5_arm64.deb | 120.6 KiB | 28-10-2025 06:33 |
| fricas-graphics_1.3.7-5_riscv64.deb | 118.2 KiB | 28-01-2022 11:19 |
| fricas-graphics_1.3.11-2_armhf.deb | 116.6 KiB | 29-07-2024 00:55 |
| fricas-graphics_1.3.11-4_armhf.deb | 116.3 KiB | 14-05-2025 19:45 |
| fricas-graphics_1.3.11-5_armhf.deb | 116.0 KiB | 28-10-2025 06:45 |
| fricas-graphics_1.3.10-1build3_armhf.deb | 114.9 KiB | 31-03-2024 08:12 |
| fricas-graphics_1.3.7-5_armhf.deb | 114.6 KiB | 27-01-2022 19:33 |
| fricas-hypertex_1.3.10-1build3_ppc64el.deb | 112.6 KiB | 31-03-2024 11:54 |
| fricas-hypertex_1.3.7-5_ppc64el.deb | 112.2 KiB | 27-01-2022 18:24 |
| fricas-hypertex_1.3.11-5_ppc64el.deb | 111.3 KiB | 28-10-2025 06:58 |
| fricas-hypertex_1.3.10-1build3_s390x.deb | 108.9 KiB | 31-03-2024 07:15 |
| fricas-hypertex_1.3.11-2_ppc64el.deb | 108.9 KiB | 29-07-2024 00:55 |
| fricas-hypertex_1.3.11-4_ppc64el.deb | 108.4 KiB | 14-05-2025 19:45 |
| fricas-hypertex_1.3.11-2_s390x.deb | 105.8 KiB | 29-07-2024 00:55 |
| fricas-hypertex_1.3.11-4_s390x.deb | 105.5 KiB | 14-05-2025 18:05 |
| fricas-hypertex_1.3.11-5_s390x.deb | 104.6 KiB | 28-10-2025 07:05 |
| fricas-hypertex_1.3.10-1build3_riscv64.deb | 104.4 KiB | 01-04-2024 01:00 |
| fricas-hypertex_1.3.11-5_riscv64.deb | 104.1 KiB | 02-11-2025 18:35 |
| fricas-hypertex_1.3.11-2_riscv64.deb | 103.9 KiB | 29-07-2024 08:18 |
| fricas-hypertex_1.3.11-4_riscv64.deb | 103.7 KiB | 15-05-2025 02:15 |
| fricas-hypertex_1.3.7-5_s390x.deb | 99.1 KiB | 27-01-2022 18:25 |
| fricas_1.3.7-5.debian.tar.xz | 97.1 KiB | 27-01-2022 17:14 |
| fricas-hypertex_1.3.7-5_arm64.deb | 96.6 KiB | 27-01-2022 18:54 |
| fricas-hypertex_1.3.10-1build3_arm64.deb | 95.6 KiB | 31-03-2024 09:59 |
| fricas-hypertex_1.3.11-2_arm64.deb | 94.7 KiB | 29-07-2024 00:55 |
| fricas-hypertex_1.3.11-4_arm64.deb | 94.4 KiB | 14-05-2025 19:45 |
| fricas-hypertex_1.3.11-5_arm64.deb | 92.4 KiB | 28-10-2025 06:33 |
| fricas-hypertex_1.3.7-5_riscv64.deb | 90.3 KiB | 28-01-2022 11:19 |
| fricas-hypertex_1.3.7-5_armhf.deb | 85.5 KiB | 27-01-2022 19:33 |
| fricas-hypertex_1.3.10-1build3_armhf.deb | 85.0 KiB | 31-03-2024 08:12 |
| fricas-hypertex_1.3.11-5_armhf.deb | 84.5 KiB | 28-10-2025 06:45 |
| fricas-hypertex_1.3.11-2_armhf.deb | 84.2 KiB | 29-07-2024 00:55 |
| fricas-hypertex_1.3.11-4_armhf.deb | 84.1 KiB | 14-05-2025 19:45 |
| elpa-fricas_1.3.11-5_all.deb | 49.9 KiB | 28-10-2025 00:13 |
| elpa-fricas_1.3.11-4_all.deb | 49.9 KiB | 14-05-2025 19:45 |
| elpa-fricas_1.3.11-2_all.deb | 49.8 KiB | 28-07-2024 23:59 |
| elpa-fricas_1.3.7-5_all.deb | 49.6 KiB | 27-01-2022 18:24 |
| elpa-fricas_1.3.10-1build3_all.deb | 49.6 KiB | 01-04-2024 14:43 |
| fricas_1.3.10-1build3.dsc | 2.4 KiB | 31-03-2024 06:12 |
| fricas_1.3.11-4.dsc | 2.3 KiB | 14-05-2025 18:05 |
| fricas_1.3.11-5.dsc | 2.3 KiB | 27-10-2025 23:58 |
| fricas_1.3.11-2.dsc | 2.3 KiB | 28-07-2024 23:59 |
| fricas_1.3.7-5.dsc | 2.3 KiB | 27-01-2022 17:14 |