| Parent directory/ | - | - |
| fricas_1.3.6-6.dsc | 2.3 KiB | 2021-Apr-24 07:42 |
| fricas_1.3.8-6.dsc | 2.3 KiB | 2023-Jan-13 18:19 |
| fricas_1.3.11-3.dsc | 2.3 KiB | 2025-Apr-26 19:29 |
| fricas_1.3.13-3.dsc | 2.3 KiB | 2026-Oct-06 12:36 |
| fricas_1.3.6-6.debian.tar.xz | 64.6 KiB | 2021-Apr-24 07:42 |
| fricas-hypertex_1.3.8-6_i386.deb | 90.7 KiB | 2023-Jan-13 20:36 |
| fricas-graphics_1.3.8-6_s390x.deb | 90.7 KiB | 2023-Jan-13 20:57 |
| fricas-hypertex_1.3.8-6_amd64.deb | 90.7 KiB | 2023-Jan-13 20:41 |
| fricas-hypertex_1.3.8-6_s390x.deb | 90.7 KiB | 2023-Jan-13 20:57 |
| fricas-hypertex_1.3.8-6_ppc64el.deb | 90.7 KiB | 2023-Jan-15 11:59 |
| fricas-hypertex_1.3.8-6_arm64.deb | 90.7 KiB | 2023-Jan-13 21:42 |
| fricas-hypertex_1.3.8-6_armel.deb | 90.7 KiB | 2023-Jan-13 22:13 |
| fricas-hypertex_1.3.8-6_mipsel.deb | 90.7 KiB | 2023-Jan-15 19:14 |
| fricas-graphics_1.3.8-6_amd64.deb | 90.7 KiB | 2023-Jan-13 20:41 |
| fricas-graphics_1.3.8-6_i386.deb | 90.7 KiB | 2023-Jan-13 20:36 |
| fricas-graphics_1.3.8-6_armel.deb | 90.7 KiB | 2023-Jan-13 22:13 |
| fricas-graphics_1.3.8-6_arm64.deb | 90.7 KiB | 2023-Jan-13 21:42 |
| fricas-graphics_1.3.8-6_armhf.deb | 90.7 KiB | 2023-Jan-13 22:13 |
| fricas-hypertex_1.3.8-6_armhf.deb | 90.7 KiB | 2023-Jan-13 22:13 |
| fricas-hypertex_1.3.8-6_mips64el.deb | 90.7 KiB | 2023-Jan-16 05:27 |
| fricas-graphics_1.3.8-6_mipsel.deb | 90.7 KiB | 2023-Jan-15 19:14 |
| fricas-graphics_1.3.8-6_ppc64el.deb | 90.7 KiB | 2023-Jan-15 11:59 |
| fricas-graphics_1.3.8-6_mips64el.deb | 90.7 KiB | 2023-Jan-16 05:27 |
| elpa-fricas_1.3.6-6_all.deb | 129.0 KiB | 2021-Apr-24 08:32 |
| elpa-fricas_1.3.8-6_all.deb | 134.4 KiB | 2023-Jan-13 20:42 |
| elpa-fricas_1.3.11-3_all.deb | 143.8 KiB | 2025-Apr-26 20:24 |
| elpa-fricas_1.3.13-3_all.deb | 148.6 KiB | 2026-Oct-06 13:52 |
| fricas-hypertex_1.3.6-6_armhf.deb | 161.0 KiB | 2021-Apr-24 12:43 |
| fricas-hypertex_1.3.6-6_arm64.deb | 166.9 KiB | 2021-Apr-24 09:13 |
| fricas-hypertex_1.3.6-6_amd64.deb | 172.2 KiB | 2021-Apr-24 08:43 |
| fricas-hypertex_1.3.11-3_armhf.deb | 173.6 KiB | 2025-Apr-26 21:15 |
| fricas-hypertex_1.3.11-3_armel.deb | 174.1 KiB | 2025-Apr-26 20:24 |
| fricas-hypertex_1.3.6-6_i386.deb | 177.2 KiB | 2021-Apr-24 08:38 |
| fricas-hypertex_1.3.13-3_armhf.deb | 177.7 KiB | 2026-Oct-06 13:57 |
| fricas-hypertex_1.3.11-3_arm64.deb | 178.6 KiB | 2025-Apr-26 20:24 |
| fricas-hypertex_1.3.13-3_arm64.deb | 180.4 KiB | 2026-Oct-06 13:47 |
| fricas-hypertex_1.3.11-3_amd64.deb | 184.8 KiB | 2025-Apr-26 20:24 |
| fricas-graphics_1.3.6-6_armhf.deb | 185.1 KiB | 2021-Apr-24 12:43 |
| fricas-hypertex_1.3.11-3_s390x.deb | 186.5 KiB | 2025-Apr-26 20:14 |
| fricas-hypertex_1.3.13-3_loong64.deb | 187.1 KiB | 2026-Oct-06 15:34 |
| fricas-hypertex_1.3.11-3_ppc64el.deb | 188.5 KiB | 2025-Apr-26 20:19 |
| fricas-hypertex_1.3.11-3_riscv64.deb | 188.8 KiB | 2025-Apr-27 02:36 |
| fricas-graphics_1.3.6-6_arm64.deb | 189.3 KiB | 2021-Apr-24 09:13 |
| fricas-hypertex_1.3.11-3_i386.deb | 189.4 KiB | 2025-Apr-26 20:09 |
| fricas-hypertex_1.3.13-3_s390x.deb | 189.5 KiB | 2026-Oct-06 13:37 |
| fricas-hypertex_1.3.13-3_amd64.deb | 190.5 KiB | 2026-Oct-06 13:27 |
| fricas-hypertex_1.3.13-3_riscv64.deb | 190.5 KiB | 2026-Oct-11 06:11 |
| fricas-hypertex_1.3.13-3_ppc64el.deb | 192.3 KiB | 2026-Oct-06 14:12 |
| fricas-hypertex_1.3.13-3_i386.deb | 195.9 KiB | 2026-Oct-06 13:32 |
| fricas-graphics_1.3.6-6_i386.deb | 199.6 KiB | 2021-Apr-24 08:38 |
| fricas-graphics_1.3.11-3_armhf.deb | 200.2 KiB | 2025-Apr-26 21:15 |
| fricas-graphics_1.3.6-6_amd64.deb | 200.3 KiB | 2021-Apr-24 08:43 |
| fricas-graphics_1.3.11-3_armel.deb | 201.6 KiB | 2025-Apr-26 20:24 |
| fricas-graphics_1.3.13-3_arm64.deb | 202.8 KiB | 2026-Oct-06 13:47 |
| fricas-graphics_1.3.13-3_armhf.deb | 203.2 KiB | 2026-Oct-06 13:57 |
| fricas-graphics_1.3.11-3_arm64.deb | 203.7 KiB | 2025-Apr-26 20:24 |
| fricas-graphics_1.3.13-3_loong64.deb | 211.5 KiB | 2026-Oct-06 15:34 |
| fricas-graphics_1.3.11-3_ppc64el.deb | 211.9 KiB | 2025-Apr-26 20:19 |
| fricas-graphics_1.3.11-3_s390x.deb | 215.8 KiB | 2025-Apr-26 20:14 |
| fricas-graphics_1.3.11-3_i386.deb | 215.8 KiB | 2025-Apr-26 20:09 |
| fricas-graphics_1.3.13-3_ppc64el.deb | 215.9 KiB | 2026-Oct-06 14:12 |
| fricas-graphics_1.3.11-3_amd64.deb | 216.5 KiB | 2025-Apr-26 20:24 |
| fricas-graphics_1.3.13-3_riscv64.deb | 217.5 KiB | 2026-Oct-11 06:11 |
| fricas-graphics_1.3.13-3_s390x.deb | 218.4 KiB | 2026-Oct-06 13:37 |
| fricas-graphics_1.3.11-3_riscv64.deb | 220.2 KiB | 2025-Apr-27 02:36 |
| fricas-graphics_1.3.13-3_amd64.deb | 221.5 KiB | 2026-Oct-06 13:27 |
| fricas-graphics_1.3.13-3_i386.deb | 223.1 KiB | 2026-Oct-06 13:32 |
| fricas_1.3.8-6.debian.tar.xz | 239.5 KiB | 2023-Jan-13 18:19 |
| fricas-test_1.3.11-3_all.deb | 246.4 KiB | 2025-Apr-26 20:24 |
| fricas-test_1.3.13-3_all.deb | 251.3 KiB | 2026-Oct-06 13:52 |
| fricas-test_1.3.8-6_all.deb | 251.6 KiB | 2023-Jan-13 20:42 |
| fricas_1.3.11-3.debian.tar.xz | 255.3 KiB | 2025-Apr-26 19:29 |
| fricas_1.3.13-3.debian.tar.xz | 256.4 KiB | 2026-Oct-06 12:36 |
| fricas-doc_1.3.6-6_all.deb | 284.5 KiB | 2021-Apr-24 08:32 |
| fricas-doc_1.3.8-6_all.deb | 287.9 KiB | 2023-Jan-13 20:42 |
| fricas-doc_1.3.11-3_all.deb | 296.9 KiB | 2025-Apr-26 20:24 |
| fricas-doc_1.3.13-3_all.deb | 300.0 KiB | 2026-Oct-06 13:52 |
| fricas-test_1.3.6-6_all.deb | 353.0 KiB | 2021-Apr-24 08:32 |
| fricas-hypertex-data_1.3.8-6_all.deb | 688.1 KiB | 2023-Jan-13 20:42 |
| fricas-hypertex-data_1.3.11-3_all.deb | 722.6 KiB | 2025-Apr-26 20:24 |
| fricas-hypertex-data_1.3.6-6_all.deb | 725.5 KiB | 2021-Apr-24 08:32 |
| fricas-hypertex-data_1.3.13-3_all.deb | 727.1 KiB | 2026-Oct-06 13:52 |
| fricas-databases_1.3.6-6_all.deb | 1.2 MiB | 2021-Apr-24 08:32 |
| fricas-graphics-data_1.3.6-6_all.deb | 1.2 MiB | 2021-Apr-24 08:32 |
| fricas-databases_1.3.8-6_all.deb | 1.3 MiB | 2023-Jan-13 20:42 |
| fricas-databases_1.3.11-3_all.deb | 1.3 MiB | 2025-Apr-26 20:24 |
| fricas-graphics-data_1.3.8-6_all.deb | 1.3 MiB | 2023-Jan-13 20:42 |
| fricas-graphics-data_1.3.11-3_all.deb | 1.3 MiB | 2025-Apr-26 20:24 |
| fricas-databases_1.3.13-3_all.deb | 1.3 MiB | 2026-Oct-06 13:52 |
| fricas-graphics-data_1.3.13-3_all.deb | 1.3 MiB | 2026-Oct-06 13:52 |
| fricas-source_1.3.6-6_all.deb | 1.3 MiB | 2021-Apr-24 08:32 |
| fricas-source_1.3.8-6_all.deb | 1.4 MiB | 2023-Jan-13 20:42 |
| fricas-source_1.3.11-3_all.deb | 1.4 MiB | 2025-Apr-26 20:24 |
| fricas-source_1.3.13-3_all.deb | 1.4 MiB | 2026-Oct-06 13:52 |
| fricas_1.3.6.orig.tar.bz2 | 9.9 MiB | 2020-Nov-23 09:51 |
| fricas_1.3.8.orig.tar.bz2 | 10.4 MiB | 2022-Jul-07 12:49 |
| fricas_1.3.11.orig.tar.bz2 | 10.4 MiB | 2024-Jun-30 11:38 |
| fricas_1.3.13.orig.tar.bz2 | 10.5 MiB | 2026-Jun-08 07:47 |
| fricas_1.3.11-3_armel.deb | 47.9 MiB | 2025-Apr-26 20:24 |
| fricas_1.3.6-6_armhf.deb | 48.3 MiB | 2021-Apr-24 12:43 |
| fricas_1.3.11-3_i386.deb | 48.5 MiB | 2025-Apr-26 20:09 |
| fricas_1.3.6-6_arm64.deb | 49.4 MiB | 2021-Apr-24 09:13 |
| fricas_1.3.11-3_armhf.deb | 49.6 MiB | 2025-Apr-26 21:15 |
| fricas_1.3.8-6_armel.deb | 50.1 MiB | 2023-Jan-13 22:13 |
| fricas_1.3.6-6_i386.deb | 50.6 MiB | 2021-Apr-24 08:38 |
| fricas_1.3.8-6_s390x.deb | 51.0 MiB | 2023-Jan-13 20:57 |
| fricas_1.3.11-3_arm64.deb | 51.0 MiB | 2025-Apr-26 20:24 |
| fricas_1.3.8-6_armhf.deb | 51.8 MiB | 2023-Jan-13 22:13 |
| fricas_1.3.8-6_ppc64el.deb | 51.9 MiB | 2023-Jan-15 11:59 |
| fricas_1.3.8-6_arm64.deb | 52.0 MiB | 2023-Jan-13 21:42 |
| fricas_1.3.6-6_amd64.deb | 52.3 MiB | 2021-Apr-24 08:43 |
| fricas_1.3.11-3_amd64.deb | 52.6 MiB | 2025-Apr-26 20:24 |
| fricas_1.3.11-3_ppc64el.deb | 52.7 MiB | 2025-Apr-26 20:19 |
| fricas_1.3.11-3_s390x.deb | 52.9 MiB | 2025-Apr-26 20:14 |
| fricas_1.3.8-6_i386.deb | 53.1 MiB | 2023-Jan-13 20:36 |
| fricas_1.3.8-6_mipsel.deb | 53.9 MiB | 2023-Jan-15 19:14 |
| fricas_1.3.8-6_amd64.deb | 54.9 MiB | 2023-Jan-13 20:41 |
| fricas_1.3.8-6_mips64el.deb | 55.5 MiB | 2023-Jan-16 05:27 |
| fricas_1.3.13-3_armhf.deb | 57.7 MiB | 2026-Oct-06 13:57 |
| fricas_1.3.13-3_i386.deb | 59.9 MiB | 2026-Oct-06 13:32 |
| fricas_1.3.13-3_arm64.deb | 60.1 MiB | 2026-Oct-06 13:47 |
| fricas_1.3.13-3_s390x.deb | 62.7 MiB | 2026-Oct-06 13:37 |
| fricas_1.3.13-3_ppc64el.deb | 66.2 MiB | 2026-Oct-06 14:12 |
| fricas_1.3.13-3_amd64.deb | 68.5 MiB | 2026-Oct-06 13:27 |
| fricas_1.3.13-3_loong64.deb | 75.1 MiB | 2026-Oct-06 15:34 |
| fricas_1.3.11-3_riscv64.deb | 107.1 MiB | 2025-Apr-27 02:36 |
| fricas_1.3.13-3_riscv64.deb | 162.5 MiB | 2026-Oct-11 06:11 |