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