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