../ elpa-fricas_1.3.10-1_all.deb 05-Feb-2024 18:52 143284 elpa-fricas_1.3.10-2_all.deb 09-Apr-2024 16:59 143484 elpa-fricas_1.3.6-6_all.deb 24-Apr-2021 14:32 132136 elpa-fricas_1.3.8-6_all.deb 14-Jan-2023 02:42 137664 fricas-databases_1.3.10-1_all.deb 05-Feb-2024 18:52 1335544 fricas-databases_1.3.10-2_all.deb 09-Apr-2024 16:59 1335464 fricas-databases_1.3.6-6_all.deb 24-Apr-2021 14:32 1287876 fricas-databases_1.3.8-6_all.deb 14-Jan-2023 02:42 1313432 fricas-doc_1.3.10-1_all.deb 05-Feb-2024 18:52 300200 fricas-doc_1.3.10-2_all.deb 09-Apr-2024 16:59 300432 fricas-doc_1.3.6-6_all.deb 24-Apr-2021 14:32 291328 fricas-doc_1.3.8-6_all.deb 14-Jan-2023 02:42 294824 fricas-graphics-data_1.3.10-1_all.deb 05-Feb-2024 18:52 1332452 fricas-graphics-data_1.3.10-2_all.deb 09-Apr-2024 16:59 1332108 fricas-graphics-data_1.3.6-6_all.deb 24-Apr-2021 14:32 1302612 fricas-graphics-data_1.3.8-6_all.deb 14-Jan-2023 02:42 1322880 fricas-graphics_1.3.10-1_armhf.deb 11-Feb-2024 16:08 189500 fricas-graphics_1.3.6-6_armhf.deb 01-May-2021 10:08 180296 fricas-graphics_1.3.8-6_armhf.deb 19-Jan-2023 20:22 92856 fricas-hypertex-data_1.3.10-1_all.deb 05-Feb-2024 18:52 738548 fricas-hypertex-data_1.3.10-2_all.deb 09-Apr-2024 16:59 738968 fricas-hypertex-data_1.3.6-6_all.deb 24-Apr-2021 14:32 742872 fricas-hypertex-data_1.3.8-6_all.deb 14-Jan-2023 02:42 704604 fricas-hypertex_1.3.10-1_armhf.deb 11-Feb-2024 16:08 165416 fricas-hypertex_1.3.6-6_armhf.deb 01-May-2021 10:08 154904 fricas-hypertex_1.3.8-6_armhf.deb 19-Jan-2023 20:22 92856 fricas-source_1.3.10-1_all.deb 05-Feb-2024 18:52 1465616 fricas-source_1.3.10-2_all.deb 09-Apr-2024 16:59 1465736 fricas-source_1.3.6-6_all.deb 24-Apr-2021 14:32 1403920 fricas-source_1.3.8-6_all.deb 14-Jan-2023 02:42 1446672 fricas-test_1.3.10-1_all.deb 05-Feb-2024 18:52 251256 fricas-test_1.3.10-2_all.deb 09-Apr-2024 16:59 251436 fricas-test_1.3.6-6_all.deb 24-Apr-2021 14:32 361464 fricas-test_1.3.8-6_all.deb 14-Jan-2023 02:42 257640 fricas_1.3.10-1.debian.tar.xz 05-Feb-2024 17:41 246072 fricas_1.3.10-1.dsc 05-Feb-2024 17:41 2363 fricas_1.3.10-1_armhf.deb 11-Feb-2024 16:08 53748452 fricas_1.3.10-2.debian.tar.xz 09-Apr-2024 15:18 246392 fricas_1.3.10-2.dsc 09-Apr-2024 15:18 2363 fricas_1.3.10.orig.tar.bz2 05-Feb-2024 17:41 10971513 fricas_1.3.6-6.debian.tar.xz 24-Apr-2021 13:42 66144 fricas_1.3.6-6.dsc 24-Apr-2021 13:42 2346 fricas_1.3.6-6_armhf.deb 01-May-2021 10:08 48281020 fricas_1.3.6.orig.tar.bz2 23-Nov-2020 15:51 10422732 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_armhf.deb 19-Jan-2023 20:22 52583400 fricas_1.3.8.orig.tar.bz2 07-Jul-2022 18:49 10878913