Index of /ubuntu-ports/pool/universe/f/fricas/
../
elpa-fricas_1.3.10-1build3_all.deb 01-Apr-2024 14:43 50K
elpa-fricas_1.3.11-2_all.deb 28-Jul-2024 23:59 50K
elpa-fricas_1.3.7-5_all.deb 27-Jan-2022 18:24 50K
elpa-fricas_1.3.8-6_all.deb 14-Jan-2023 09:29 49K
elpa-fricas_1.3.8-8_all.deb 14-Jun-2023 00:04 49K
fricas-databases_1.3.10-1build3_all.deb 01-Apr-2024 14:43 1M
fricas-databases_1.3.11-2_all.deb 28-Jul-2024 23:59 1M
fricas-databases_1.3.7-5_all.deb 27-Jan-2022 18:24 1M
fricas-databases_1.3.8-6_all.deb 14-Jan-2023 09:29 1M
fricas-databases_1.3.8-8_all.deb 14-Jun-2023 00:04 1M
fricas-doc_1.3.10-1build3_all.deb 01-Apr-2024 14:43 210K
fricas-doc_1.3.11-2_all.deb 28-Jul-2024 23:59 211K
fricas-doc_1.3.7-5_all.deb 27-Jan-2022 18:24 211K
fricas-doc_1.3.8-6_all.deb 14-Jan-2023 09:29 210K
fricas-doc_1.3.8-8_all.deb 14-Jun-2023 00:04 210K
fricas-graphics-data_1.3.10-1build3_all.deb 01-Apr-2024 14:43 1M
fricas-graphics-data_1.3.11-2_all.deb 28-Jul-2024 23:59 1M
fricas-graphics-data_1.3.7-5_all.deb 27-Jan-2022 18:24 1M
fricas-graphics-data_1.3.8-6_all.deb 14-Jan-2023 09:29 1M
fricas-graphics-data_1.3.8-8_all.deb 14-Jun-2023 00:04 1M
fricas-graphics_1.3.10-1build3_arm64.deb 31-Mar-2024 09:59 121K
fricas-graphics_1.3.10-1build3_armhf.deb 31-Mar-2024 08:12 115K
fricas-graphics_1.3.10-1build3_ppc64el.deb 31-Mar-2024 11:54 139K
fricas-graphics_1.3.10-1build3_riscv64.deb 01-Apr-2024 01:00 135K
fricas-graphics_1.3.10-1build3_s390x.deb 31-Mar-2024 07:15 141K
fricas-graphics_1.3.11-2_arm64.deb 29-Jul-2024 00:55 125K
fricas-graphics_1.3.11-2_armhf.deb 29-Jul-2024 00:55 117K
fricas-graphics_1.3.11-2_ppc64el.deb 29-Jul-2024 00:55 140K
fricas-graphics_1.3.11-2_riscv64.deb 29-Jul-2024 08:18 139K
fricas-graphics_1.3.11-2_s390x.deb 29-Jul-2024 00:55 141K
fricas-graphics_1.3.7-5_arm64.deb 27-Jan-2022 18:54 124K
fricas-graphics_1.3.7-5_armhf.deb 27-Jan-2022 19:33 115K
fricas-graphics_1.3.7-5_ppc64el.deb 27-Jan-2022 18:24 137K
fricas-graphics_1.3.7-5_riscv64.deb 28-Jan-2022 11:19 118K
fricas-graphics_1.3.7-5_s390x.deb 27-Jan-2022 18:25 123K
fricas-graphics_1.3.8-6_arm64.deb 14-Jan-2023 09:48 3536
fricas-graphics_1.3.8-6_armhf.deb 14-Jan-2023 10:48 3540
fricas-graphics_1.3.8-6_ppc64el.deb 14-Jan-2023 09:29 3540
fricas-graphics_1.3.8-6_riscv64.deb 14-Jan-2023 22:14 3538
fricas-graphics_1.3.8-6_s390x.deb 14-Jan-2023 09:29 3534
fricas-graphics_1.3.8-8_arm64.deb 14-Jun-2023 01:14 120K
fricas-graphics_1.3.8-8_armhf.deb 14-Jun-2023 02:14 115K
fricas-graphics_1.3.8-8_ppc64el.deb 14-Jun-2023 00:44 134K
fricas-graphics_1.3.8-8_riscv64.deb 14-Jun-2023 10:48 118K
fricas-graphics_1.3.8-8_s390x.deb 14-Jun-2023 00:44 124K
fricas-hypertex-data_1.3.10-1build3_all.deb 01-Apr-2024 14:43 666K
fricas-hypertex-data_1.3.11-2_all.deb 28-Jul-2024 23:59 664K
fricas-hypertex-data_1.3.7-5_all.deb 27-Jan-2022 18:24 670K
fricas-hypertex-data_1.3.8-6_all.deb 14-Jan-2023 09:29 637K
fricas-hypertex-data_1.3.8-8_all.deb 14-Jun-2023 00:04 665K
fricas-hypertex_1.3.10-1build3_arm64.deb 31-Mar-2024 09:59 96K
fricas-hypertex_1.3.10-1build3_armhf.deb 31-Mar-2024 08:12 85K
fricas-hypertex_1.3.10-1build3_ppc64el.deb 31-Mar-2024 11:54 113K
fricas-hypertex_1.3.10-1build3_riscv64.deb 01-Apr-2024 01:00 104K
fricas-hypertex_1.3.10-1build3_s390x.deb 31-Mar-2024 07:15 109K
fricas-hypertex_1.3.11-2_arm64.deb 29-Jul-2024 00:55 95K
fricas-hypertex_1.3.11-2_armhf.deb 29-Jul-2024 00:55 84K
fricas-hypertex_1.3.11-2_ppc64el.deb 29-Jul-2024 00:55 109K
fricas-hypertex_1.3.11-2_riscv64.deb 29-Jul-2024 08:18 104K
fricas-hypertex_1.3.11-2_s390x.deb 29-Jul-2024 00:55 106K
fricas-hypertex_1.3.7-5_arm64.deb 27-Jan-2022 18:54 97K
fricas-hypertex_1.3.7-5_armhf.deb 27-Jan-2022 19:33 85K
fricas-hypertex_1.3.7-5_ppc64el.deb 27-Jan-2022 18:24 112K
fricas-hypertex_1.3.7-5_riscv64.deb 28-Jan-2022 11:19 90K
fricas-hypertex_1.3.7-5_s390x.deb 27-Jan-2022 18:25 99K
fricas-hypertex_1.3.8-6_arm64.deb 14-Jan-2023 09:48 3524
fricas-hypertex_1.3.8-6_armhf.deb 14-Jan-2023 10:48 3530
fricas-hypertex_1.3.8-6_ppc64el.deb 14-Jan-2023 09:29 3534
fricas-hypertex_1.3.8-6_riscv64.deb 14-Jan-2023 22:14 3528
fricas-hypertex_1.3.8-6_s390x.deb 14-Jan-2023 09:29 3522
fricas-hypertex_1.3.8-8_arm64.deb 14-Jun-2023 01:14 95K
fricas-hypertex_1.3.8-8_armhf.deb 14-Jun-2023 02:14 85K
fricas-hypertex_1.3.8-8_ppc64el.deb 14-Jun-2023 00:44 108K
fricas-hypertex_1.3.8-8_riscv64.deb 14-Jun-2023 10:48 89K
fricas-hypertex_1.3.8-8_s390x.deb 14-Jun-2023 00:44 98K
fricas-source_1.3.10-1build3_all.deb 01-Apr-2024 14:43 1M
fricas-source_1.3.11-2_all.deb 28-Jul-2024 23:59 1M
fricas-source_1.3.7-5_all.deb 27-Jan-2022 18:24 1M
fricas-source_1.3.8-6_all.deb 14-Jan-2023 09:29 1M
fricas-source_1.3.8-8_all.deb 14-Jun-2023 00:04 1M
fricas-test_1.3.10-1build3_all.deb 01-Apr-2024 14:43 159K
fricas-test_1.3.11-2_all.deb 28-Jul-2024 23:59 157K
fricas-test_1.3.7-5_all.deb 27-Jan-2022 18:24 283K
fricas-test_1.3.8-6_all.deb 14-Jan-2023 09:29 171K
fricas-test_1.3.8-8_all.deb 14-Jun-2023 00:04 171K
fricas_1.3.10-1build3.debian.tar.xz 31-Mar-2024 06:12 241K
fricas_1.3.10-1build3.dsc 31-Mar-2024 06:12 2503
fricas_1.3.10-1build3_arm64.deb 31-Mar-2024 09:59 62M
fricas_1.3.10-1build3_armhf.deb 31-Mar-2024 08:12 61M
fricas_1.3.10-1build3_ppc64el.deb 31-Mar-2024 11:54 66M
fricas_1.3.10-1build3_riscv64.deb 01-Apr-2024 01:00 198M
fricas_1.3.10-1build3_s390x.deb 31-Mar-2024 07:15 64M
fricas_1.3.10.orig.tar.bz2 15-Feb-2024 12:29 10M
fricas_1.3.11-2.debian.tar.xz 28-Jul-2024 23:59 241K
fricas_1.3.11-2.dsc 28-Jul-2024 23:59 2363
fricas_1.3.11-2_arm64.deb 29-Jul-2024 00:55 55M
fricas_1.3.11-2_armhf.deb 29-Jul-2024 00:55 55M
fricas_1.3.11-2_ppc64el.deb 29-Jul-2024 00:55 58M
fricas_1.3.11-2_riscv64.deb 29-Jul-2024 08:18 172M
fricas_1.3.11-2_s390x.deb 29-Jul-2024 00:55 57M
fricas_1.3.11.orig.tar.bz2 30-Jun-2024 23:49 10M
fricas_1.3.7-5.debian.tar.xz 27-Jan-2022 17:14 97K
fricas_1.3.7-5.dsc 27-Jan-2022 17:14 2351
fricas_1.3.7-5_arm64.deb 27-Jan-2022 18:54 58M
fricas_1.3.7-5_armhf.deb 27-Jan-2022 19:34 58M
fricas_1.3.7-5_ppc64el.deb 27-Jan-2022 18:24 59M
fricas_1.3.7-5_riscv64.deb 28-Jan-2022 11:19 161M
fricas_1.3.7-5_s390x.deb 27-Jan-2022 18:25 57M
fricas_1.3.7.orig.tar.bz2 01-Jul-2021 23:13 10M
fricas_1.3.8-6.debian.tar.xz 14-Jan-2023 05:34 239K
fricas_1.3.8-6.dsc 14-Jan-2023 05:34 2352
fricas_1.3.8-6_arm64.deb 14-Jan-2023 09:48 60M
fricas_1.3.8-6_armhf.deb 14-Jan-2023 10:48 59M
fricas_1.3.8-6_ppc64el.deb 14-Jan-2023 09:29 60M
fricas_1.3.8-6_riscv64.deb 14-Jan-2023 22:14 159M
fricas_1.3.8-6_s390x.deb 14-Jan-2023 09:29 59M
fricas_1.3.8-8.debian.tar.xz 13-Jun-2023 23:35 240K
fricas_1.3.8-8.dsc 13-Jun-2023 23:35 2356
fricas_1.3.8-8_arm64.deb 14-Jun-2023 01:14 60M
fricas_1.3.8-8_armhf.deb 14-Jun-2023 02:14 59M
fricas_1.3.8-8_ppc64el.deb 14-Jun-2023 00:44 60M
fricas_1.3.8-8_riscv64.deb 14-Jun-2023 10:48 159M
fricas_1.3.8-8_s390x.deb 14-Jun-2023 00:44 59M
fricas_1.3.8.orig.tar.bz2 07-Jul-2022 23:24 10M