Index of /ubuntu-ports/pool/universe/f/fricas/
../ elpa-fricas_1.3.7-5_all.deb 28-Jan-2022 01:24 50K elpa-fricas_1.3.8-1_all.deb 08-Jul-2022 06:43 49K elpa-fricas_1.3.8-5_all.deb 26-Dec-2022 13:08 49K elpa-fricas_1.3.8-6_all.deb 14-Jan-2023 16:29 49K fricas-databases_1.3.7-5_all.deb 28-Jan-2022 01:24 1M fricas-databases_1.3.8-1_all.deb 08-Jul-2022 06:44 1M fricas-databases_1.3.8-5_all.deb 26-Dec-2022 13:08 1M fricas-databases_1.3.8-6_all.deb 14-Jan-2023 16:29 1M fricas-doc_1.3.7-5_all.deb 28-Jan-2022 01:24 211K fricas-doc_1.3.8-1_all.deb 08-Jul-2022 06:44 210K fricas-doc_1.3.8-5_all.deb 26-Dec-2022 13:08 210K fricas-doc_1.3.8-6_all.deb 14-Jan-2023 16:29 210K fricas-graphics-data_1.3.7-5_all.deb 28-Jan-2022 01:24 1M fricas-graphics-data_1.3.8-1_all.deb 08-Jul-2022 06:44 1M fricas-graphics-data_1.3.8-5_all.deb 26-Dec-2022 13:08 1M fricas-graphics-data_1.3.8-6_all.deb 14-Jan-2023 16:29 1M fricas-graphics_1.3.7-5_arm64.deb 28-Jan-2022 01:54 124K fricas-graphics_1.3.7-5_armhf.deb 28-Jan-2022 02:33 115K fricas-graphics_1.3.7-5_ppc64el.deb 28-Jan-2022 01:24 137K fricas-graphics_1.3.7-5_riscv64.deb 28-Jan-2022 18:19 118K fricas-graphics_1.3.7-5_s390x.deb 28-Jan-2022 01:25 123K fricas-graphics_1.3.8-1_arm64.deb 08-Jul-2022 08:04 123K fricas-graphics_1.3.8-1_armhf.deb 08-Jul-2022 08:54 115K fricas-graphics_1.3.8-1_ppc64el.deb 08-Jul-2022 07:04 136K fricas-graphics_1.3.8-1_riscv64.deb 08-Jul-2022 20:48 117K fricas-graphics_1.3.8-1_s390x.deb 08-Jul-2022 07:04 123K fricas-graphics_1.3.8-5_arm64.deb 26-Dec-2022 14:34 3514 fricas-graphics_1.3.8-5_armhf.deb 26-Dec-2022 13:34 3516 fricas-graphics_1.3.8-5_ppc64el.deb 26-Dec-2022 13:08 3518 fricas-graphics_1.3.8-5_riscv64.deb 27-Dec-2022 04:59 3514 fricas-graphics_1.3.8-5_s390x.deb 26-Dec-2022 13:08 3508 fricas-graphics_1.3.8-6_arm64.deb 14-Jan-2023 16:48 3536 fricas-graphics_1.3.8-6_armhf.deb 14-Jan-2023 17:48 3540 fricas-graphics_1.3.8-6_ppc64el.deb 14-Jan-2023 16:29 3540 fricas-graphics_1.3.8-6_riscv64.deb 15-Jan-2023 05:14 3538 fricas-graphics_1.3.8-6_s390x.deb 14-Jan-2023 16:29 3534 fricas-hypertex-data_1.3.7-5_all.deb 28-Jan-2022 01:24 670K fricas-hypertex-data_1.3.8-1_all.deb 08-Jul-2022 06:43 666K fricas-hypertex-data_1.3.8-5_all.deb 26-Dec-2022 13:08 636K fricas-hypertex-data_1.3.8-6_all.deb 14-Jan-2023 16:29 637K fricas-hypertex_1.3.7-5_arm64.deb 28-Jan-2022 01:54 97K fricas-hypertex_1.3.7-5_armhf.deb 28-Jan-2022 02:33 85K fricas-hypertex_1.3.7-5_ppc64el.deb 28-Jan-2022 01:24 112K fricas-hypertex_1.3.7-5_riscv64.deb 28-Jan-2022 18:19 90K fricas-hypertex_1.3.7-5_s390x.deb 28-Jan-2022 01:25 99K fricas-hypertex_1.3.8-1_arm64.deb 08-Jul-2022 08:04 96K fricas-hypertex_1.3.8-1_armhf.deb 08-Jul-2022 08:54 85K fricas-hypertex_1.3.8-1_ppc64el.deb 08-Jul-2022 07:04 112K fricas-hypertex_1.3.8-1_riscv64.deb 08-Jul-2022 20:48 89K fricas-hypertex_1.3.8-1_s390x.deb 08-Jul-2022 07:04 98K fricas-hypertex_1.3.8-5_arm64.deb 26-Dec-2022 14:34 3504 fricas-hypertex_1.3.8-5_armhf.deb 26-Dec-2022 13:34 3510 fricas-hypertex_1.3.8-5_ppc64el.deb 26-Dec-2022 13:08 3516 fricas-hypertex_1.3.8-5_riscv64.deb 27-Dec-2022 04:59 3508 fricas-hypertex_1.3.8-5_s390x.deb 26-Dec-2022 13:08 3502 fricas-hypertex_1.3.8-6_arm64.deb 14-Jan-2023 16:48 3524 fricas-hypertex_1.3.8-6_armhf.deb 14-Jan-2023 17:48 3530 fricas-hypertex_1.3.8-6_ppc64el.deb 14-Jan-2023 16:29 3534 fricas-hypertex_1.3.8-6_riscv64.deb 15-Jan-2023 05:14 3528 fricas-hypertex_1.3.8-6_s390x.deb 14-Jan-2023 16:29 3522 fricas-source_1.3.7-5_all.deb 28-Jan-2022 01:24 1M fricas-source_1.3.8-1_all.deb 08-Jul-2022 06:43 1M fricas-source_1.3.8-5_all.deb 26-Dec-2022 13:08 1M fricas-source_1.3.8-6_all.deb 14-Jan-2023 16:29 1M fricas-test_1.3.7-5_all.deb 28-Jan-2022 01:24 283K fricas-test_1.3.8-1_all.deb 08-Jul-2022 06:44 171K fricas-test_1.3.8-5_all.deb 26-Dec-2022 13:08 171K fricas-test_1.3.8-6_all.deb 14-Jan-2023 16:29 171K fricas_1.3.7-5.debian.tar.xz 28-Jan-2022 00:14 97K fricas_1.3.7-5.dsc 28-Jan-2022 00:14 2351 fricas_1.3.7-5_arm64.deb 28-Jan-2022 01:54 58M fricas_1.3.7-5_armhf.deb 28-Jan-2022 02:34 58M fricas_1.3.7-5_ppc64el.deb 28-Jan-2022 01:24 59M fricas_1.3.7-5_riscv64.deb 28-Jan-2022 18:19 161M fricas_1.3.7-5_s390x.deb 28-Jan-2022 01:25 57M fricas_1.3.7.orig.tar.bz2 02-Jul-2021 06:13 10M fricas_1.3.8-1.debian.tar.xz 08-Jul-2022 06:24 239K fricas_1.3.8-1.dsc 08-Jul-2022 06:24 2354 fricas_1.3.8-1_arm64.deb 08-Jul-2022 08:04 57M fricas_1.3.8-1_armhf.deb 08-Jul-2022 08:54 58M fricas_1.3.8-1_ppc64el.deb 08-Jul-2022 07:04 59M fricas_1.3.8-1_riscv64.deb 08-Jul-2022 20:48 155M fricas_1.3.8-1_s390x.deb 08-Jul-2022 07:04 55M fricas_1.3.8-5.debian.tar.xz 26-Dec-2022 12:44 239K fricas_1.3.8-5.dsc 26-Dec-2022 12:44 2352 fricas_1.3.8-5_arm64.deb 26-Dec-2022 14:34 59M fricas_1.3.8-5_armhf.deb 26-Dec-2022 13:34 59M fricas_1.3.8-5_ppc64el.deb 26-Dec-2022 13:08 60M fricas_1.3.8-5_riscv64.deb 27-Dec-2022 04:59 159M fricas_1.3.8-5_s390x.deb 26-Dec-2022 13:08 60M fricas_1.3.8-6.debian.tar.xz 14-Jan-2023 12:34 239K fricas_1.3.8-6.dsc 14-Jan-2023 12:34 2352 fricas_1.3.8-6_arm64.deb 14-Jan-2023 16:48 60M fricas_1.3.8-6_armhf.deb 14-Jan-2023 17:48 59M fricas_1.3.8-6_ppc64el.deb 14-Jan-2023 16:29 60M fricas_1.3.8-6_riscv64.deb 15-Jan-2023 05:14 159M fricas_1.3.8-6_s390x.deb 14-Jan-2023 16:29 59M fricas_1.3.8.orig.tar.bz2 08-Jul-2022 06:24 10M