Index of /ubuntu-ports/pool/universe/f/fricas/
Index of /ubuntu-ports/pool/universe/f/fricas/
../
elpa-fricas_1.3.10-1build3_all.deb 01-Apr-2024 10:43 50K
elpa-fricas_1.3.11-2_all.deb 28-Jul-2024 19:59 50K
elpa-fricas_1.3.11-4_all.deb 14-May-2025 15:45 50K
elpa-fricas_1.3.7-5_all.deb 27-Jan-2022 14:24 50K
fricas-databases_1.3.10-1build3_all.deb 01-Apr-2024 10:43 1M
fricas-databases_1.3.11-2_all.deb 28-Jul-2024 19:59 1M
fricas-databases_1.3.11-4_all.deb 14-May-2025 15:45 1M
fricas-databases_1.3.7-5_all.deb 27-Jan-2022 14:24 1M
fricas-doc_1.3.10-1build3_all.deb 01-Apr-2024 10:43 210K
fricas-doc_1.3.11-2_all.deb 28-Jul-2024 19:59 211K
fricas-doc_1.3.11-4_all.deb 14-May-2025 15:45 210K
fricas-doc_1.3.7-5_all.deb 27-Jan-2022 14:24 211K
fricas-graphics-data_1.3.10-1build3_all.deb 01-Apr-2024 10:43 1M
fricas-graphics-data_1.3.11-2_all.deb 28-Jul-2024 19:59 1M
fricas-graphics-data_1.3.11-4_all.deb 14-May-2025 15:45 1M
fricas-graphics-data_1.3.7-5_all.deb 27-Jan-2022 14:24 1M
fricas-graphics_1.3.10-1build3_arm64.deb 31-Mar-2024 05:59 121K
fricas-graphics_1.3.10-1build3_armhf.deb 31-Mar-2024 04:12 115K
fricas-graphics_1.3.10-1build3_ppc64el.deb 31-Mar-2024 07:54 139K
fricas-graphics_1.3.10-1build3_riscv64.deb 31-Mar-2024 21:00 135K
fricas-graphics_1.3.10-1build3_s390x.deb 31-Mar-2024 03:15 141K
fricas-graphics_1.3.11-2_arm64.deb 28-Jul-2024 20:55 125K
fricas-graphics_1.3.11-2_armhf.deb 28-Jul-2024 20:55 117K
fricas-graphics_1.3.11-2_ppc64el.deb 28-Jul-2024 20:55 140K
fricas-graphics_1.3.11-2_riscv64.deb 29-Jul-2024 04:18 139K
fricas-graphics_1.3.11-2_s390x.deb 28-Jul-2024 20:55 141K
fricas-graphics_1.3.11-4_arm64.deb 14-May-2025 15:45 125K
fricas-graphics_1.3.11-4_armhf.deb 14-May-2025 15:45 116K
fricas-graphics_1.3.11-4_ppc64el.deb 14-May-2025 15:45 140K
fricas-graphics_1.3.11-4_riscv64.deb 14-May-2025 22:15 138K
fricas-graphics_1.3.11-4_s390x.deb 14-May-2025 14:05 139K
fricas-graphics_1.3.7-5_arm64.deb 27-Jan-2022 14:54 124K
fricas-graphics_1.3.7-5_armhf.deb 27-Jan-2022 15:33 115K
fricas-graphics_1.3.7-5_ppc64el.deb 27-Jan-2022 14:24 137K
fricas-graphics_1.3.7-5_riscv64.deb 28-Jan-2022 07:19 118K
fricas-graphics_1.3.7-5_s390x.deb 27-Jan-2022 14:25 123K
fricas-hypertex-data_1.3.10-1build3_all.deb 01-Apr-2024 10:43 666K
fricas-hypertex-data_1.3.11-2_all.deb 28-Jul-2024 19:59 664K
fricas-hypertex-data_1.3.11-4_all.deb 14-May-2025 15:45 661K
fricas-hypertex-data_1.3.7-5_all.deb 27-Jan-2022 14:24 670K
fricas-hypertex_1.3.10-1build3_arm64.deb 31-Mar-2024 05:59 96K
fricas-hypertex_1.3.10-1build3_armhf.deb 31-Mar-2024 04:12 85K
fricas-hypertex_1.3.10-1build3_ppc64el.deb 31-Mar-2024 07:54 113K
fricas-hypertex_1.3.10-1build3_riscv64.deb 31-Mar-2024 21:00 104K
fricas-hypertex_1.3.10-1build3_s390x.deb 31-Mar-2024 03:15 109K
fricas-hypertex_1.3.11-2_arm64.deb 28-Jul-2024 20:55 95K
fricas-hypertex_1.3.11-2_armhf.deb 28-Jul-2024 20:55 84K
fricas-hypertex_1.3.11-2_ppc64el.deb 28-Jul-2024 20:55 109K
fricas-hypertex_1.3.11-2_riscv64.deb 29-Jul-2024 04:18 104K
fricas-hypertex_1.3.11-2_s390x.deb 28-Jul-2024 20:55 106K
fricas-hypertex_1.3.11-4_arm64.deb 14-May-2025 15:45 94K
fricas-hypertex_1.3.11-4_armhf.deb 14-May-2025 15:45 84K
fricas-hypertex_1.3.11-4_ppc64el.deb 14-May-2025 15:45 108K
fricas-hypertex_1.3.11-4_riscv64.deb 14-May-2025 22:15 104K
fricas-hypertex_1.3.11-4_s390x.deb 14-May-2025 14:05 105K
fricas-hypertex_1.3.7-5_arm64.deb 27-Jan-2022 14:54 97K
fricas-hypertex_1.3.7-5_armhf.deb 27-Jan-2022 15:33 85K
fricas-hypertex_1.3.7-5_ppc64el.deb 27-Jan-2022 14:24 112K
fricas-hypertex_1.3.7-5_riscv64.deb 28-Jan-2022 07:19 90K
fricas-hypertex_1.3.7-5_s390x.deb 27-Jan-2022 14:25 99K
fricas-source_1.3.10-1build3_all.deb 01-Apr-2024 10:43 1M
fricas-source_1.3.11-2_all.deb 28-Jul-2024 19:59 1M
fricas-source_1.3.11-4_all.deb 14-May-2025 15:45 1M
fricas-source_1.3.7-5_all.deb 27-Jan-2022 14:24 1M
fricas-test_1.3.10-1build3_all.deb 01-Apr-2024 10:43 159K
fricas-test_1.3.11-2_all.deb 28-Jul-2024 19:59 157K
fricas-test_1.3.11-4_all.deb 14-May-2025 15:45 157K
fricas-test_1.3.7-5_all.deb 27-Jan-2022 14:24 283K
fricas_1.3.10-1build3.debian.tar.xz 31-Mar-2024 02:12 241K
fricas_1.3.10-1build3.dsc 31-Mar-2024 02:12 2503
fricas_1.3.10-1build3_arm64.deb 31-Mar-2024 05:59 62M
fricas_1.3.10-1build3_armhf.deb 31-Mar-2024 04:12 61M
fricas_1.3.10-1build3_ppc64el.deb 31-Mar-2024 07:54 66M
fricas_1.3.10-1build3_riscv64.deb 31-Mar-2024 21:00 198M
fricas_1.3.10-1build3_s390x.deb 31-Mar-2024 03:15 64M
fricas_1.3.10.orig.tar.bz2 15-Feb-2024 08:29 10M
fricas_1.3.11-2.debian.tar.xz 28-Jul-2024 19:59 241K
fricas_1.3.11-2.dsc 28-Jul-2024 19:59 2363
fricas_1.3.11-2_arm64.deb 28-Jul-2024 20:55 55M
fricas_1.3.11-2_armhf.deb 28-Jul-2024 20:55 55M
fricas_1.3.11-2_ppc64el.deb 28-Jul-2024 20:55 58M
fricas_1.3.11-2_riscv64.deb 29-Jul-2024 04:18 172M
fricas_1.3.11-2_s390x.deb 28-Jul-2024 20:55 57M
fricas_1.3.11-4.debian.tar.xz 14-May-2025 14:05 256K
fricas_1.3.11-4.dsc 14-May-2025 14:05 2366
fricas_1.3.11-4_arm64.deb 14-May-2025 15:45 57M
fricas_1.3.11-4_armhf.deb 14-May-2025 15:45 55M
fricas_1.3.11-4_ppc64el.deb 14-May-2025 15:45 59M
fricas_1.3.11-4_riscv64.deb 14-May-2025 22:15 140M
fricas_1.3.11-4_s390x.deb 14-May-2025 14:05 59M
fricas_1.3.11.orig.tar.bz2 30-Jun-2024 19:49 10M
fricas_1.3.7-5.debian.tar.xz 27-Jan-2022 13:14 97K
fricas_1.3.7-5.dsc 27-Jan-2022 13:14 2351
fricas_1.3.7-5_arm64.deb 27-Jan-2022 14:54 58M
fricas_1.3.7-5_armhf.deb 27-Jan-2022 15:34 58M
fricas_1.3.7-5_ppc64el.deb 27-Jan-2022 14:24 59M
fricas_1.3.7-5_riscv64.deb 28-Jan-2022 07:19 161M
fricas_1.3.7-5_s390x.deb 27-Jan-2022 14:25 57M
fricas_1.3.7.orig.tar.bz2 01-Jul-2021 19:13 10M
