../ elpa-fricas_1.3.11-3_all.deb 27-Apr-2025 02:24 147224 elpa-fricas_1.3.8-6_all.deb 14-Jan-2023 02:42 137664 fricas-databases_1.3.11-3_all.deb 27-Apr-2025 02:24 1320804 fricas-databases_1.3.8-6_all.deb 14-Jan-2023 02:42 1313432 fricas-doc_1.3.11-3_all.deb 27-Apr-2025 02:24 304056 fricas-doc_1.3.8-6_all.deb 14-Jan-2023 02:42 294824 fricas-graphics-data_1.3.11-3_all.deb 27-Apr-2025 02:24 1340168 fricas-graphics-data_1.3.8-6_all.deb 14-Jan-2023 02:42 1322880 fricas-graphics_1.3.11-3_amd64.deb 27-Apr-2025 02:24 221652 fricas-graphics_1.3.11-3_arm64.deb 27-Apr-2025 02:24 208580 fricas-graphics_1.3.11-3_armhf.deb 27-Apr-2025 03:15 205020 fricas-graphics_1.3.11-3_riscv64.deb 27-Apr-2025 08:36 225508 fricas-graphics_1.3.8-6_amd64.deb 14-Jan-2023 02:41 92852 fricas-graphics_1.3.8-6_arm64.deb 14-Jan-2023 03:42 92856 fricas-hypertex-data_1.3.11-3_all.deb 27-Apr-2025 02:24 739988 fricas-hypertex-data_1.3.8-6_all.deb 14-Jan-2023 02:42 704604 fricas-hypertex_1.3.11-3_amd64.deb 27-Apr-2025 02:24 189204 fricas-hypertex_1.3.11-3_arm64.deb 27-Apr-2025 02:24 182896 fricas-hypertex_1.3.11-3_armhf.deb 27-Apr-2025 03:15 177768 fricas-hypertex_1.3.11-3_riscv64.deb 27-Apr-2025 08:36 193356 fricas-hypertex_1.3.8-6_amd64.deb 14-Jan-2023 02:41 92848 fricas-hypertex_1.3.8-6_arm64.deb 14-Jan-2023 03:42 92852 fricas-source_1.3.11-3_all.deb 27-Apr-2025 02:24 1469112 fricas-source_1.3.8-6_all.deb 14-Jan-2023 02:42 1446672 fricas-test_1.3.11-3_all.deb 27-Apr-2025 02:24 252288 fricas-test_1.3.8-6_all.deb 14-Jan-2023 02:42 257640 fricas_1.3.11-3.debian.tar.xz 27-Apr-2025 01:29 261416 fricas_1.3.11-3.dsc 27-Apr-2025 01:29 2364 fricas_1.3.11-3_amd64.deb 27-Apr-2025 02:24 55205504 fricas_1.3.11-3_arm64.deb 27-Apr-2025 02:24 53520048 fricas_1.3.11-3_armhf.deb 27-Apr-2025 03:15 52021556 fricas_1.3.11-3_riscv64.deb 27-Apr-2025 08:36 112303276 fricas_1.3.11.orig.tar.bz2 30-Jun-2024 17:38 10937641 fricas_1.3.8-6.debian.tar.xz 14-Jan-2023 00:19 245220 fricas_1.3.8-6.dsc 14-Jan-2023 00:19 2352 fricas_1.3.8-6_amd64.deb 14-Jan-2023 02:41 57534344 fricas_1.3.8-6_arm64.deb 14-Jan-2023 03:42 54519552 fricas_1.3.8.orig.tar.bz2 07-Jul-2022 18:49 10878913