../ elpa-fricas_1.3.11-2_all.deb 28-Jul-2024 21:03 144K elpa-fricas_1.3.6-6_all.deb 24-Apr-2021 18:02 129K elpa-fricas_1.3.8-6_all.deb 14-Jan-2023 06:12 134K fricas-databases_1.3.11-2_all.deb 28-Jul-2024 21:03 1M fricas-databases_1.3.6-6_all.deb 24-Apr-2021 18:02 1M fricas-databases_1.3.8-6_all.deb 14-Jan-2023 06:12 1M fricas-doc_1.3.11-2_all.deb 28-Jul-2024 21:03 297K fricas-doc_1.3.6-6_all.deb 24-Apr-2021 18:02 285K fricas-doc_1.3.8-6_all.deb 14-Jan-2023 06:12 288K fricas-graphics-data_1.3.11-2_all.deb 28-Jul-2024 21:03 1M fricas-graphics-data_1.3.6-6_all.deb 24-Apr-2021 18:02 1M fricas-graphics-data_1.3.8-6_all.deb 14-Jan-2023 06:12 1M fricas-graphics_1.3.11-2_amd64.deb 28-Jul-2024 21:03 216K fricas-graphics_1.3.11-2_arm64.deb 28-Jul-2024 21:54 204K fricas-graphics_1.3.11-2_armel.deb 28-Jul-2024 21:13 202K fricas-graphics_1.3.11-2_armhf.deb 28-Jul-2024 21:08 200K fricas-graphics_1.3.11-2_i386.deb 28-Jul-2024 21:08 216K fricas-graphics_1.3.11-2_mips64el.deb 31-Jul-2024 14:11 209K fricas-graphics_1.3.11-2_ppc64el.deb 28-Jul-2024 21:08 212K fricas-graphics_1.3.11-2_riscv64.deb 29-Jul-2024 07:42 220K fricas-graphics_1.3.11-2_s390x.deb 29-Jul-2024 00:52 216K fricas-graphics_1.3.6-6_amd64.deb 24-Apr-2021 18:13 200K fricas-graphics_1.3.6-6_arm64.deb 24-Apr-2021 18:43 189K fricas-graphics_1.3.6-6_armel.deb 24-Apr-2021 18:59 187K fricas-graphics_1.3.6-6_armhf.deb 24-Apr-2021 22:13 185K fricas-graphics_1.3.6-6_i386.deb 24-Apr-2021 18:08 200K fricas-graphics_1.3.6-6_mips64el.deb 25-Apr-2021 02:42 195K fricas-graphics_1.3.6-6_mipsel.deb 25-Apr-2021 07:43 195K fricas-graphics_1.3.6-6_ppc64el.deb 24-Apr-2021 18:28 198K fricas-graphics_1.3.6-6_s390x.deb 24-Apr-2021 22:28 188K fricas-graphics_1.3.8-6_amd64.deb 14-Jan-2023 06:11 91K fricas-graphics_1.3.8-6_arm64.deb 14-Jan-2023 07:12 91K fricas-graphics_1.3.8-6_armel.deb 14-Jan-2023 07:43 91K fricas-graphics_1.3.8-6_armhf.deb 14-Jan-2023 07:43 91K fricas-graphics_1.3.8-6_i386.deb 14-Jan-2023 06:06 91K fricas-graphics_1.3.8-6_mips64el.deb 16-Jan-2023 14:57 91K fricas-graphics_1.3.8-6_mipsel.deb 16-Jan-2023 04:44 91K fricas-graphics_1.3.8-6_ppc64el.deb 15-Jan-2023 21:29 91K fricas-graphics_1.3.8-6_s390x.deb 14-Jan-2023 06:27 91K fricas-hypertex-data_1.3.11-2_all.deb 28-Jul-2024 21:03 723K fricas-hypertex-data_1.3.6-6_all.deb 24-Apr-2021 18:02 725K fricas-hypertex-data_1.3.8-6_all.deb 14-Jan-2023 06:12 688K fricas-hypertex_1.3.11-2_amd64.deb 28-Jul-2024 21:03 185K fricas-hypertex_1.3.11-2_arm64.deb 28-Jul-2024 21:54 179K fricas-hypertex_1.3.11-2_armel.deb 28-Jul-2024 21:13 174K fricas-hypertex_1.3.11-2_armhf.deb 28-Jul-2024 21:08 173K fricas-hypertex_1.3.11-2_i386.deb 28-Jul-2024 21:08 189K fricas-hypertex_1.3.11-2_mips64el.deb 31-Jul-2024 14:11 184K fricas-hypertex_1.3.11-2_ppc64el.deb 28-Jul-2024 21:08 189K fricas-hypertex_1.3.11-2_riscv64.deb 29-Jul-2024 07:42 189K fricas-hypertex_1.3.11-2_s390x.deb 29-Jul-2024 00:52 187K fricas-hypertex_1.3.6-6_amd64.deb 24-Apr-2021 18:13 172K fricas-hypertex_1.3.6-6_arm64.deb 24-Apr-2021 18:43 167K fricas-hypertex_1.3.6-6_armel.deb 24-Apr-2021 18:59 161K fricas-hypertex_1.3.6-6_armhf.deb 24-Apr-2021 22:13 161K fricas-hypertex_1.3.6-6_i386.deb 24-Apr-2021 18:08 177K fricas-hypertex_1.3.6-6_mips64el.deb 25-Apr-2021 02:42 172K fricas-hypertex_1.3.6-6_mipsel.deb 25-Apr-2021 07:43 172K fricas-hypertex_1.3.6-6_ppc64el.deb 24-Apr-2021 18:28 178K fricas-hypertex_1.3.6-6_s390x.deb 24-Apr-2021 22:28 167K fricas-hypertex_1.3.8-6_amd64.deb 14-Jan-2023 06:11 91K fricas-hypertex_1.3.8-6_arm64.deb 14-Jan-2023 07:12 91K fricas-hypertex_1.3.8-6_armel.deb 14-Jan-2023 07:43 91K fricas-hypertex_1.3.8-6_armhf.deb 14-Jan-2023 07:43 91K fricas-hypertex_1.3.8-6_i386.deb 14-Jan-2023 06:06 91K fricas-hypertex_1.3.8-6_mips64el.deb 16-Jan-2023 14:57 91K fricas-hypertex_1.3.8-6_mipsel.deb 16-Jan-2023 04:44 91K fricas-hypertex_1.3.8-6_ppc64el.deb 15-Jan-2023 21:29 91K fricas-hypertex_1.3.8-6_s390x.deb 14-Jan-2023 06:27 91K fricas-source_1.3.11-2_all.deb 28-Jul-2024 21:03 1M fricas-source_1.3.6-6_all.deb 24-Apr-2021 18:02 1M fricas-source_1.3.8-6_all.deb 14-Jan-2023 06:12 1M fricas-test_1.3.11-2_all.deb 28-Jul-2024 21:03 246K fricas-test_1.3.6-6_all.deb 24-Apr-2021 18:02 353K fricas-test_1.3.8-6_all.deb 14-Jan-2023 06:12 252K fricas_1.3.11-2.debian.tar.xz 28-Jul-2024 20:02 241K fricas_1.3.11-2.dsc 28-Jul-2024 20:02 2363 fricas_1.3.11-2_amd64.deb 28-Jul-2024 21:03 51M fricas_1.3.11-2_arm64.deb 28-Jul-2024 21:54 48M fricas_1.3.11-2_armel.deb 28-Jul-2024 21:13 46M fricas_1.3.11-2_armhf.deb 28-Jul-2024 21:08 49M fricas_1.3.11-2_i386.deb 28-Jul-2024 21:08 49M fricas_1.3.11-2_mips64el.deb 31-Jul-2024 14:11 51M fricas_1.3.11-2_ppc64el.deb 28-Jul-2024 21:08 49M fricas_1.3.11-2_riscv64.deb 29-Jul-2024 07:42 126M fricas_1.3.11-2_s390x.deb 29-Jul-2024 00:52 50M fricas_1.3.11.orig.tar.bz2 30-Jun-2024 21:08 10M fricas_1.3.6-6.debian.tar.xz 24-Apr-2021 17:12 65K fricas_1.3.6-6.dsc 24-Apr-2021 17:12 2346 fricas_1.3.6-6_amd64.deb 24-Apr-2021 18:13 52M fricas_1.3.6-6_arm64.deb 24-Apr-2021 18:43 49M fricas_1.3.6-6_armel.deb 24-Apr-2021 18:59 46M fricas_1.3.6-6_armhf.deb 24-Apr-2021 22:13 48M fricas_1.3.6-6_i386.deb 24-Apr-2021 18:08 51M fricas_1.3.6-6_mips64el.deb 25-Apr-2021 02:42 51M fricas_1.3.6-6_mipsel.deb 25-Apr-2021 07:43 49M fricas_1.3.6-6_ppc64el.deb 24-Apr-2021 18:28 51M fricas_1.3.6-6_s390x.deb 24-Apr-2021 22:28 47M fricas_1.3.6.orig.tar.bz2 23-Nov-2020 19:21 10M fricas_1.3.8-6.debian.tar.xz 14-Jan-2023 03:49 239K fricas_1.3.8-6.dsc 14-Jan-2023 03:49 2352 fricas_1.3.8-6_amd64.deb 14-Jan-2023 06:11 55M fricas_1.3.8-6_arm64.deb 14-Jan-2023 07:12 52M fricas_1.3.8-6_armel.deb 14-Jan-2023 07:43 50M fricas_1.3.8-6_armhf.deb 14-Jan-2023 07:43 52M fricas_1.3.8-6_i386.deb 14-Jan-2023 06:06 53M fricas_1.3.8-6_mips64el.deb 16-Jan-2023 14:57 55M fricas_1.3.8-6_mipsel.deb 16-Jan-2023 04:44 54M fricas_1.3.8-6_ppc64el.deb 15-Jan-2023 21:29 52M fricas_1.3.8-6_s390x.deb 14-Jan-2023 06:27 51M fricas_1.3.8.orig.tar.bz2 07-Jul-2022 22:19 10M