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-3_all.deb 03-May-2025 00:17 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-3_all.deb 03-May-2025 00:17 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-3_all.deb 03-May-2025 00:17 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-3_all.deb 03-May-2025 00:17 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-3_arm64.deb 02-May-2025 15:56 125K fricas-graphics_1.3.11-3_armhf.deb 02-May-2025 15:57 117K 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-3_all.deb 03-May-2025 00:17 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-3_arm64.deb 02-May-2025 15:56 94K fricas-hypertex_1.3.11-3_armhf.deb 02-May-2025 15:57 84K 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-3_all.deb 03-May-2025 00:17 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-3_all.deb 03-May-2025 00:17 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-3.debian.tar.xz 02-May-2025 01:21 255K fricas_1.3.11-3.dsc 02-May-2025 01:21 2364 fricas_1.3.11-3_arm64.deb 02-May-2025 15:56 59M fricas_1.3.11-3_armhf.deb 02-May-2025 15:57 58M 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