| Parent directory/ | - | - |
| fricas_1.3.7-5.dsc | 2.3 KiB | 2022-Jan-27 19:14 |
| fricas_1.3.8-6.dsc | 2.3 KiB | 2023-Jan-14 07:34 |
| fricas_1.3.8-8.dsc | 2.3 KiB | 2023-Jun-14 01:35 |
| fricas_1.3.11-1.dsc | 2.3 KiB | 2024-Jul-01 01:49 |
| fricas_1.3.10-1build3.dsc | 2.4 KiB | 2024-Mar-31 08:12 |
| fricas-hypertex_1.3.8-6_s390x.deb | 3.4 KiB | 2023-Jan-14 11:29 |
| fricas-hypertex_1.3.8-6_arm64.deb | 3.4 KiB | 2023-Jan-14 11:48 |
| fricas-hypertex_1.3.8-6_riscv64.deb | 3.4 KiB | 2023-Jan-15 00:14 |
| fricas-hypertex_1.3.8-6_armhf.deb | 3.4 KiB | 2023-Jan-14 12:48 |
| fricas-hypertex_1.3.8-6_ppc64el.deb | 3.5 KiB | 2023-Jan-14 11:29 |
| fricas-graphics_1.3.8-6_s390x.deb | 3.5 KiB | 2023-Jan-14 11:29 |
| fricas-graphics_1.3.8-6_arm64.deb | 3.5 KiB | 2023-Jan-14 11:48 |
| fricas-graphics_1.3.8-6_riscv64.deb | 3.5 KiB | 2023-Jan-15 00:14 |
| fricas-graphics_1.3.8-6_armhf.deb | 3.5 KiB | 2023-Jan-14 12:48 |
| fricas-graphics_1.3.8-6_ppc64el.deb | 3.5 KiB | 2023-Jan-14 11:29 |
| elpa-fricas_1.3.8-6_all.deb | 49.1 KiB | 2023-Jan-14 11:29 |
| elpa-fricas_1.3.8-8_all.deb | 49.2 KiB | 2023-Jun-14 02:04 |
| elpa-fricas_1.3.10-1build3_all.deb | 49.6 KiB | 2024-Apr-01 16:43 |
| elpa-fricas_1.3.7-5_all.deb | 49.6 KiB | 2022-Jan-27 20:24 |
| elpa-fricas_1.3.11-1_all.deb | 49.6 KiB | 2024-Jul-01 02:54 |
| fricas-hypertex_1.3.11-1_armhf.deb | 84.0 KiB | 2024-Jul-01 04:59 |
| fricas-hypertex_1.3.8-8_armhf.deb | 84.7 KiB | 2023-Jun-14 04:14 |
| fricas-hypertex_1.3.10-1build3_armhf.deb | 85.0 KiB | 2024-Mar-31 10:12 |
| fricas-hypertex_1.3.7-5_armhf.deb | 85.5 KiB | 2022-Jan-27 21:33 |
| fricas-hypertex_1.3.8-8_riscv64.deb | 88.9 KiB | 2023-Jun-14 12:48 |
| fricas-hypertex_1.3.7-5_riscv64.deb | 90.3 KiB | 2022-Jan-28 13:19 |
| fricas-hypertex_1.3.11-1_arm64.deb | 94.6 KiB | 2024-Jul-01 04:59 |
| fricas-hypertex_1.3.8-8_arm64.deb | 94.7 KiB | 2023-Jun-14 03:14 |
| fricas-hypertex_1.3.10-1build3_arm64.deb | 95.6 KiB | 2024-Mar-31 11:59 |
| fricas-hypertex_1.3.7-5_arm64.deb | 96.6 KiB | 2022-Jan-27 20:54 |
| fricas_1.3.7-5.debian.tar.xz | 97.1 KiB | 2022-Jan-27 19:14 |
| fricas-hypertex_1.3.8-8_s390x.deb | 98.2 KiB | 2023-Jun-14 02:44 |
| fricas-hypertex_1.3.7-5_s390x.deb | 99.1 KiB | 2022-Jan-27 20:25 |
| fricas-hypertex_1.3.11-1_riscv64.deb | 102.7 KiB | 2024-Jul-01 11:16 |
| fricas-hypertex_1.3.10-1build3_riscv64.deb | 104.4 KiB | 2024-Apr-01 03:00 |
| fricas-hypertex_1.3.11-1_s390x.deb | 105.1 KiB | 2024-Jul-01 02:55 |
| fricas-hypertex_1.3.11-1_ppc64el.deb | 108.3 KiB | 2024-Jul-01 02:55 |
| fricas-hypertex_1.3.8-8_ppc64el.deb | 108.3 KiB | 2023-Jun-14 02:44 |
| fricas-hypertex_1.3.10-1build3_s390x.deb | 108.9 KiB | 2024-Mar-31 09:15 |
| fricas-hypertex_1.3.7-5_ppc64el.deb | 112.2 KiB | 2022-Jan-27 20:24 |
| fricas-hypertex_1.3.10-1build3_ppc64el.deb | 112.6 KiB | 2024-Mar-31 13:54 |
| fricas-graphics_1.3.8-8_armhf.deb | 114.5 KiB | 2023-Jun-14 04:14 |
| fricas-graphics_1.3.7-5_armhf.deb | 114.6 KiB | 2022-Jan-27 21:33 |
| fricas-graphics_1.3.10-1build3_armhf.deb | 114.9 KiB | 2024-Mar-31 10:12 |
| fricas-graphics_1.3.11-1_armhf.deb | 116.7 KiB | 2024-Jul-01 04:59 |
| fricas-graphics_1.3.7-5_riscv64.deb | 118.2 KiB | 2022-Jan-28 13:19 |
| fricas-graphics_1.3.8-8_riscv64.deb | 118.4 KiB | 2023-Jun-14 12:48 |
| fricas-graphics_1.3.8-8_arm64.deb | 119.9 KiB | 2023-Jun-14 03:14 |
| fricas-graphics_1.3.10-1build3_arm64.deb | 120.7 KiB | 2024-Mar-31 11:59 |
| fricas-graphics_1.3.11-1_arm64.deb | 122.8 KiB | 2024-Jul-01 04:59 |
| fricas-graphics_1.3.7-5_s390x.deb | 123.2 KiB | 2022-Jan-27 20:25 |
| fricas-graphics_1.3.8-8_s390x.deb | 123.6 KiB | 2023-Jun-14 02:44 |
| fricas-graphics_1.3.7-5_arm64.deb | 123.8 KiB | 2022-Jan-27 20:54 |
| fricas-graphics_1.3.8-8_ppc64el.deb | 134.2 KiB | 2023-Jun-14 02:44 |
| fricas-graphics_1.3.10-1build3_riscv64.deb | 135.4 KiB | 2024-Apr-01 03:00 |
| fricas-graphics_1.3.7-5_ppc64el.deb | 136.7 KiB | 2022-Jan-27 20:24 |
| fricas-graphics_1.3.11-1_riscv64.deb | 138.1 KiB | 2024-Jul-01 11:16 |
| fricas-graphics_1.3.10-1build3_ppc64el.deb | 139.2 KiB | 2024-Mar-31 13:54 |
| fricas-graphics_1.3.11-1_ppc64el.deb | 139.9 KiB | 2024-Jul-01 02:55 |
| fricas-graphics_1.3.11-1_s390x.deb | 140.2 KiB | 2024-Jul-01 02:55 |
| fricas-graphics_1.3.10-1build3_s390x.deb | 140.8 KiB | 2024-Mar-31 09:15 |
| fricas-test_1.3.11-1_all.deb | 156.8 KiB | 2024-Jul-01 02:54 |
| fricas-test_1.3.10-1build3_all.deb | 159.4 KiB | 2024-Apr-01 16:43 |
| fricas-test_1.3.8-6_all.deb | 170.9 KiB | 2023-Jan-14 11:29 |
| fricas-test_1.3.8-8_all.deb | 171.0 KiB | 2023-Jun-14 02:04 |
| fricas-doc_1.3.8-6_all.deb | 210.3 KiB | 2023-Jan-14 11:29 |
| fricas-doc_1.3.10-1build3_all.deb | 210.3 KiB | 2024-Apr-01 16:43 |
| fricas-doc_1.3.8-8_all.deb | 210.4 KiB | 2023-Jun-14 02:04 |
| fricas-doc_1.3.11-1_all.deb | 210.6 KiB | 2024-Jul-01 02:54 |
| fricas-doc_1.3.7-5_all.deb | 211.2 KiB | 2022-Jan-27 20:24 |
| fricas_1.3.8-6.debian.tar.xz | 239.5 KiB | 2023-Jan-14 07:34 |
| fricas_1.3.8-8.debian.tar.xz | 240.2 KiB | 2023-Jun-14 01:35 |
| fricas_1.3.10-1build3.debian.tar.xz | 240.5 KiB | 2024-Mar-31 08:12 |
| fricas_1.3.11-1.debian.tar.xz | 240.7 KiB | 2024-Jul-01 01:49 |
| fricas-test_1.3.7-5_all.deb | 283.4 KiB | 2022-Jan-27 20:24 |
| fricas-hypertex-data_1.3.8-6_all.deb | 636.6 KiB | 2023-Jan-14 11:29 |
| fricas-hypertex-data_1.3.11-1_all.deb | 663.6 KiB | 2024-Jul-01 02:54 |
| fricas-hypertex-data_1.3.8-8_all.deb | 665.4 KiB | 2023-Jun-14 02:04 |
| fricas-hypertex-data_1.3.10-1build3_all.deb | 666.1 KiB | 2024-Apr-01 16:43 |
| fricas-hypertex-data_1.3.7-5_all.deb | 669.8 KiB | 2022-Jan-27 20:24 |
| fricas-databases_1.3.11-1_all.deb | 1.1 MiB | 2024-Jul-01 02:54 |
| fricas-databases_1.3.8-8_all.deb | 1.1 MiB | 2023-Jun-14 02:04 |
| fricas-databases_1.3.7-5_all.deb | 1.1 MiB | 2022-Jan-27 20:24 |
| fricas-databases_1.3.8-6_all.deb | 1.1 MiB | 2023-Jan-14 11:29 |
| fricas-databases_1.3.10-1build3_all.deb | 1.2 MiB | 2024-Apr-01 16:43 |
| fricas-graphics-data_1.3.8-6_all.deb | 1.2 MiB | 2023-Jan-14 11:29 |
| fricas-graphics-data_1.3.8-8_all.deb | 1.2 MiB | 2023-Jun-14 02:04 |
| fricas-graphics-data_1.3.10-1build3_all.deb | 1.2 MiB | 2024-Apr-01 16:43 |
| fricas-graphics-data_1.3.11-1_all.deb | 1.2 MiB | 2024-Jul-01 02:54 |
| fricas-graphics-data_1.3.7-5_all.deb | 1.2 MiB | 2022-Jan-27 20:24 |
| fricas-source_1.3.7-5_all.deb | 1.3 MiB | 2022-Jan-27 20:24 |
| fricas-source_1.3.8-8_all.deb | 1.3 MiB | 2023-Jun-14 02:04 |
| fricas-source_1.3.8-6_all.deb | 1.3 MiB | 2023-Jan-14 11:29 |
| fricas-source_1.3.11-1_all.deb | 1.3 MiB | 2024-Jul-01 02:54 |
| fricas-source_1.3.10-1build3_all.deb | 1.3 MiB | 2024-Apr-01 16:43 |
| fricas_1.3.7.orig.tar.bz2 | 10.4 MiB | 2021-Jul-02 01:13 |
| fricas_1.3.8.orig.tar.bz2 | 10.4 MiB | 2022-Jul-08 01:24 |
| fricas_1.3.11.orig.tar.bz2 | 10.4 MiB | 2024-Jul-01 01:49 |
| fricas_1.3.10.orig.tar.bz2 | 10.5 MiB | 2024-Feb-15 14:29 |
| fricas_1.3.7-5_s390x.deb | 56.5 MiB | 2022-Jan-27 20:25 |
| fricas_1.3.7-5_arm64.deb | 57.9 MiB | 2022-Jan-27 20:54 |
| fricas_1.3.7-5_armhf.deb | 58.3 MiB | 2022-Jan-27 21:34 |
| fricas_1.3.8-8_s390x.deb | 58.7 MiB | 2023-Jun-14 02:44 |
| fricas_1.3.8-6_s390x.deb | 58.8 MiB | 2023-Jan-14 11:29 |
| fricas_1.3.8-8_armhf.deb | 58.9 MiB | 2023-Jun-14 04:14 |
| fricas_1.3.8-6_armhf.deb | 58.9 MiB | 2023-Jan-14 12:48 |
| fricas_1.3.7-5_ppc64el.deb | 59.0 MiB | 2022-Jan-27 20:24 |
| fricas_1.3.11-1_armhf.deb | 59.3 MiB | 2024-Jul-01 04:59 |
| fricas_1.3.8-8_arm64.deb | 59.5 MiB | 2023-Jun-14 03:14 |
| fricas_1.3.8-6_arm64.deb | 59.6 MiB | 2023-Jan-14 11:48 |
| fricas_1.3.8-8_ppc64el.deb | 60.1 MiB | 2023-Jun-14 02:44 |
| fricas_1.3.8-6_ppc64el.deb | 60.2 MiB | 2023-Jan-14 11:29 |
| fricas_1.3.11-1_arm64.deb | 60.2 MiB | 2024-Jul-01 04:59 |
| fricas_1.3.10-1build3_armhf.deb | 60.7 MiB | 2024-Mar-31 10:12 |
| fricas_1.3.11-1_s390x.deb | 61.6 MiB | 2024-Jul-01 02:55 |
| fricas_1.3.10-1build3_arm64.deb | 62.0 MiB | 2024-Mar-31 11:59 |
| fricas_1.3.11-1_ppc64el.deb | 63.8 MiB | 2024-Jul-01 02:55 |
| fricas_1.3.10-1build3_s390x.deb | 63.9 MiB | 2024-Mar-31 09:15 |
| fricas_1.3.10-1build3_ppc64el.deb | 65.6 MiB | 2024-Mar-31 13:54 |
| fricas_1.3.8-8_riscv64.deb | 158.6 MiB | 2023-Jun-14 12:48 |
| fricas_1.3.8-6_riscv64.deb | 159.3 MiB | 2023-Jan-15 00:14 |
| fricas_1.3.7-5_riscv64.deb | 161.0 MiB | 2022-Jan-28 13:19 |
| fricas_1.3.11-1_riscv64.deb | 187.9 MiB | 2024-Jul-01 11:16 |
| fricas_1.3.10-1build3_riscv64.deb | 198.3 MiB | 2024-Apr-01 03:00 |