File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
fricas_1.3.7-5.dsc2.3 KiB2022-Jan-27 19:14
fricas_1.3.11-2.dsc2.3 KiB2024-Jul-29 01:59
fricas_1.3.12-2.dsc2.3 KiB2026-Feb-13 19:37
fricas_1.3.11-4.dsc2.3 KiB2025-May-14 20:05
fricas_1.3.10-1build3.dsc2.4 KiB2024-Mar-31 08:12
elpa-fricas_1.3.10-1build3_all.deb49.6 KiB2024-Apr-01 16:43
elpa-fricas_1.3.7-5_all.deb49.6 KiB2022-Jan-27 20:24
elpa-fricas_1.3.11-2_all.deb49.8 KiB2024-Jul-29 01:59
elpa-fricas_1.3.11-4_all.deb49.9 KiB2025-May-14 21:45
elpa-fricas_1.3.12-2_all.deb50.1 KiB2026-Feb-13 20:56
fricas-hypertex_1.3.11-4_armhf.deb84.1 KiB2025-May-14 21:45
fricas-hypertex_1.3.11-2_armhf.deb84.2 KiB2024-Jul-29 02:55
fricas-hypertex_1.3.12-2_armhf.deb84.6 KiB2026-Feb-13 20:56
fricas-hypertex_1.3.10-1build3_armhf.deb85.0 KiB2024-Mar-31 10:12
fricas-hypertex_1.3.7-5_armhf.deb85.5 KiB2022-Jan-27 21:33
fricas-hypertex_1.3.7-5_riscv64.deb90.3 KiB2022-Jan-28 13:19
fricas-hypertex_1.3.12-2_arm64.deb92.7 KiB2026-Feb-13 20:56
fricas-hypertex_1.3.11-4_arm64.deb94.4 KiB2025-May-14 21:45
fricas-hypertex_1.3.11-2_arm64.deb94.7 KiB2024-Jul-29 02:55
fricas-hypertex_1.3.10-1build3_arm64.deb95.6 KiB2024-Mar-31 11:59
fricas-hypertex_1.3.7-5_arm64.deb96.6 KiB2022-Jan-27 20:54
fricas_1.3.7-5.debian.tar.xz97.1 KiB2022-Jan-27 19:14
fricas-hypertex_1.3.7-5_s390x.deb99.1 KiB2022-Jan-27 20:25
fricas-hypertex_1.3.12-2_riscv64.deb101.8 KiB2026-Feb-15 00:19
fricas-hypertex_1.3.11-4_riscv64.deb103.7 KiB2025-May-15 04:15
fricas-hypertex_1.3.11-2_riscv64.deb103.9 KiB2024-Jul-29 10:18
fricas-hypertex_1.3.10-1build3_riscv64.deb104.4 KiB2024-Apr-01 03:00
fricas-hypertex_1.3.12-2_s390x.deb104.7 KiB2026-Feb-13 20:57
fricas-hypertex_1.3.11-4_s390x.deb105.5 KiB2025-May-14 20:05
fricas-hypertex_1.3.11-2_s390x.deb105.8 KiB2024-Jul-29 02:55
fricas-hypertex_1.3.12-2_ppc64el.deb106.1 KiB2026-Feb-13 20:57
fricas-hypertex_1.3.11-4_ppc64el.deb108.4 KiB2025-May-14 21:45
fricas-hypertex_1.3.11-2_ppc64el.deb108.9 KiB2024-Jul-29 02:55
fricas-hypertex_1.3.10-1build3_s390x.deb108.9 KiB2024-Mar-31 09:15
fricas-hypertex_1.3.7-5_ppc64el.deb112.2 KiB2022-Jan-27 20:24
fricas-hypertex_1.3.10-1build3_ppc64el.deb112.6 KiB2024-Mar-31 13:54
fricas-graphics_1.3.7-5_armhf.deb114.6 KiB2022-Jan-27 21:33
fricas-graphics_1.3.10-1build3_armhf.deb114.9 KiB2024-Mar-31 10:12
fricas-graphics_1.3.12-2_armhf.deb116.3 KiB2026-Feb-13 20:56
fricas-graphics_1.3.11-4_armhf.deb116.3 KiB2025-May-14 21:45
fricas-graphics_1.3.11-2_armhf.deb116.6 KiB2024-Jul-29 02:55
fricas-graphics_1.3.7-5_riscv64.deb118.2 KiB2022-Jan-28 13:19
fricas-graphics_1.3.10-1build3_arm64.deb120.7 KiB2024-Mar-31 11:59
fricas-graphics_1.3.12-2_arm64.deb121.1 KiB2026-Feb-13 20:56
fricas-graphics_1.3.7-5_s390x.deb123.2 KiB2022-Jan-27 20:25
fricas-graphics_1.3.7-5_arm64.deb123.8 KiB2022-Jan-27 20:54
fricas-graphics_1.3.11-4_arm64.deb125.1 KiB2025-May-14 21:45
fricas-graphics_1.3.11-2_arm64.deb125.2 KiB2024-Jul-29 02:55
fricas-graphics_1.3.12-2_riscv64.deb131.8 KiB2026-Feb-15 00:19
fricas-graphics_1.3.12-2_ppc64el.deb131.9 KiB2026-Feb-13 20:57
fricas-graphics_1.3.10-1build3_riscv64.deb135.4 KiB2024-Apr-01 03:00
fricas-graphics_1.3.7-5_ppc64el.deb136.7 KiB2022-Jan-27 20:24
fricas-graphics_1.3.11-4_riscv64.deb138.3 KiB2025-May-15 04:15
fricas-graphics_1.3.11-2_riscv64.deb138.8 KiB2024-Jul-29 10:18
fricas-graphics_1.3.12-2_s390x.deb138.9 KiB2026-Feb-13 20:57
fricas-graphics_1.3.10-1build3_ppc64el.deb139.2 KiB2024-Mar-31 13:54
fricas-graphics_1.3.11-4_s390x.deb139.4 KiB2025-May-14 20:05
fricas-graphics_1.3.11-4_ppc64el.deb139.8 KiB2025-May-14 21:45
fricas-graphics_1.3.11-2_ppc64el.deb140.5 KiB2024-Jul-29 02:55
fricas-graphics_1.3.11-2_s390x.deb140.5 KiB2024-Jul-29 02:55
fricas-graphics_1.3.10-1build3_s390x.deb140.8 KiB2024-Mar-31 09:15
fricas-test_1.3.11-2_all.deb156.8 KiB2024-Jul-29 01:59
fricas-test_1.3.12-2_all.deb156.9 KiB2026-Feb-13 20:56
fricas-test_1.3.11-4_all.deb157.0 KiB2025-May-14 21:45
fricas-test_1.3.10-1build3_all.deb159.4 KiB2024-Apr-01 16:43
fricas-doc_1.3.11-4_all.deb210.1 KiB2025-May-14 21:45
fricas-doc_1.3.12-2_all.deb210.1 KiB2026-Feb-13 20:56
fricas-doc_1.3.10-1build3_all.deb210.3 KiB2024-Apr-01 16:43
fricas-doc_1.3.11-2_all.deb210.5 KiB2024-Jul-29 01:59
fricas-doc_1.3.7-5_all.deb211.2 KiB2022-Jan-27 20:24
fricas_1.3.10-1build3.debian.tar.xz240.5 KiB2024-Mar-31 08:12
fricas_1.3.11-2.debian.tar.xz240.7 KiB2024-Jul-29 01:59
fricas_1.3.11-4.debian.tar.xz255.5 KiB2025-May-14 20:05
fricas_1.3.12-2.debian.tar.xz256.1 KiB2026-Feb-13 19:37
fricas-test_1.3.7-5_all.deb283.4 KiB2022-Jan-27 20:24
fricas-hypertex-data_1.3.12-2_all.deb660.1 KiB2026-Feb-13 20:56
fricas-hypertex-data_1.3.11-4_all.deb660.6 KiB2025-May-14 21:45
fricas-hypertex-data_1.3.11-2_all.deb663.6 KiB2024-Jul-29 01:59
fricas-hypertex-data_1.3.10-1build3_all.deb666.1 KiB2024-Apr-01 16:43
fricas-hypertex-data_1.3.7-5_all.deb669.8 KiB2022-Jan-27 20:24
fricas-databases_1.3.11-2_all.deb1.1 MiB2024-Jul-29 01:59
fricas-databases_1.3.11-4_all.deb1.1 MiB2025-May-14 21:45
fricas-databases_1.3.12-2_all.deb1.1 MiB2026-Feb-13 20:56
fricas-databases_1.3.7-5_all.deb1.1 MiB2022-Jan-27 20:24
fricas-databases_1.3.10-1build3_all.deb1.2 MiB2024-Apr-01 16:43
fricas-graphics-data_1.3.11-4_all.deb1.2 MiB2025-May-14 21:45
fricas-graphics-data_1.3.12-2_all.deb1.2 MiB2026-Feb-13 20:56
fricas-graphics-data_1.3.10-1build3_all.deb1.2 MiB2024-Apr-01 16:43
fricas-graphics-data_1.3.11-2_all.deb1.2 MiB2024-Jul-29 01:59
fricas-graphics-data_1.3.7-5_all.deb1.2 MiB2022-Jan-27 20:24
fricas-source_1.3.7-5_all.deb1.3 MiB2022-Jan-27 20:24
fricas-source_1.3.11-2_all.deb1.3 MiB2024-Jul-29 01:59
fricas-source_1.3.11-4_all.deb1.3 MiB2025-May-14 21:45
fricas-source_1.3.10-1build3_all.deb1.3 MiB2024-Apr-01 16:43
fricas-source_1.3.12-2_all.deb1.3 MiB2026-Feb-13 20:56
fricas_1.3.7.orig.tar.bz210.4 MiB2021-Jul-02 01:13
fricas_1.3.11.orig.tar.bz210.4 MiB2024-Jul-01 01:49
fricas_1.3.12.orig.tar.bz210.4 MiB2026-Feb-13 03:07
fricas_1.3.10.orig.tar.bz210.5 MiB2024-Feb-15 14:29
fricas_1.3.11-2_armhf.deb55.0 MiB2024-Jul-29 02:55
fricas_1.3.11-2_arm64.deb55.1 MiB2024-Jul-29 02:55
fricas_1.3.11-4_armhf.deb55.3 MiB2025-May-14 21:45
fricas_1.3.12-2_armhf.deb55.8 MiB2026-Feb-13 20:56
fricas_1.3.7-5_s390x.deb56.5 MiB2022-Jan-27 20:25
fricas_1.3.11-2_s390x.deb56.6 MiB2024-Jul-29 02:55
fricas_1.3.11-4_arm64.deb57.2 MiB2025-May-14 21:45
fricas_1.3.7-5_arm64.deb57.9 MiB2022-Jan-27 20:54
fricas_1.3.11-2_ppc64el.deb58.2 MiB2024-Jul-29 02:55
fricas_1.3.7-5_armhf.deb58.3 MiB2022-Jan-27 21:34
fricas_1.3.12-2_arm64.deb58.6 MiB2026-Feb-13 20:56
fricas_1.3.7-5_ppc64el.deb59.0 MiB2022-Jan-27 20:24
fricas_1.3.11-4_s390x.deb59.2 MiB2025-May-14 20:05
fricas_1.3.11-4_ppc64el.deb59.4 MiB2025-May-14 21:45
fricas_1.3.10-1build3_armhf.deb60.7 MiB2024-Mar-31 10:12
fricas_1.3.12-2_s390x.deb61.3 MiB2026-Feb-13 20:57
fricas_1.3.10-1build3_arm64.deb62.0 MiB2024-Mar-31 11:59
fricas_1.3.12-2_ppc64el.deb62.2 MiB2026-Feb-13 20:57
fricas_1.3.10-1build3_s390x.deb63.9 MiB2024-Mar-31 09:15
fricas_1.3.10-1build3_ppc64el.deb65.6 MiB2024-Mar-31 13:54
fricas_1.3.11-4_riscv64.deb140.4 MiB2025-May-15 04:15
fricas_1.3.7-5_riscv64.deb161.0 MiB2022-Jan-28 13:19
fricas_1.3.12-2_riscv64.deb171.5 MiB2026-Feb-15 00:19
fricas_1.3.11-2_riscv64.deb172.3 MiB2024-Jul-29 10:18
fricas_1.3.10-1build3_riscv64.deb198.3 MiB2024-Apr-01 03:00