../ elpa-fricas_1.3.10-1build3_all.deb 01-Apr-2024 14:43 50760 elpa-fricas_1.3.11-2_all.deb 28-Jul-2024 23:59 51004 elpa-fricas_1.3.7-5_all.deb 27-Jan-2022 18:24 50800 elpa-fricas_1.3.8-6_all.deb 14-Jan-2023 09:29 50270 elpa-fricas_1.3.8-8_all.deb 14-Jun-2023 00:04 50406 fricas-databases_1.3.10-1build3_all.deb 01-Apr-2024 14:43 1211944 fricas-databases_1.3.11-2_all.deb 28-Jul-2024 23:59 1183460 fricas-databases_1.3.7-5_all.deb 27-Jan-2022 18:24 1195948 fricas-databases_1.3.8-6_all.deb 14-Jan-2023 09:29 1195970 fricas-databases_1.3.8-8_all.deb 14-Jun-2023 00:04 1195864 fricas-doc_1.3.10-1build3_all.deb 01-Apr-2024 14:43 215384 fricas-doc_1.3.11-2_all.deb 28-Jul-2024 23:59 215598 fricas-doc_1.3.7-5_all.deb 27-Jan-2022 18:24 216252 fricas-doc_1.3.8-6_all.deb 14-Jan-2023 09:29 215354 fricas-doc_1.3.8-8_all.deb 14-Jun-2023 00:04 215498 fricas-graphics-data_1.3.10-1build3_all.deb 01-Apr-2024 14:43 1225974 fricas-graphics-data_1.3.11-2_all.deb 28-Jul-2024 23:59 1228318 fricas-graphics-data_1.3.7-5_all.deb 27-Jan-2022 18:24 1261516 fricas-graphics-data_1.3.8-6_all.deb 14-Jan-2023 09:29 1223472 fricas-graphics-data_1.3.8-8_all.deb 14-Jun-2023 00:04 1225716 fricas-graphics_1.3.10-1build3_amd64.deb 01-Apr-2024 14:43 128004 fricas-graphics_1.3.11-2_amd64.deb 28-Jul-2024 23:59 129962 fricas-graphics_1.3.7-5_amd64.deb 27-Jan-2022 18:24 129700 fricas-graphics_1.3.8-6_amd64.deb 14-Jan-2023 09:29 3532 fricas-graphics_1.3.8-8_amd64.deb 14-Jun-2023 00:04 129818 fricas-hypertex-data_1.3.10-1build3_all.deb 01-Apr-2024 14:43 682126 fricas-hypertex-data_1.3.11-2_all.deb 28-Jul-2024 23:59 679570 fricas-hypertex-data_1.3.7-5_all.deb 27-Jan-2022 18:24 685912 fricas-hypertex-data_1.3.8-6_all.deb 14-Jan-2023 09:29 651852 fricas-hypertex-data_1.3.8-8_all.deb 14-Jun-2023 00:04 681334 fricas-hypertex_1.3.10-1build3_amd64.deb 01-Apr-2024 14:43 97952 fricas-hypertex_1.3.11-2_amd64.deb 28-Jul-2024 23:59 97106 fricas-hypertex_1.3.7-5_amd64.deb 27-Jan-2022 18:24 99942 fricas-hypertex_1.3.8-6_amd64.deb 14-Jan-2023 09:29 3524 fricas-hypertex_1.3.8-8_amd64.deb 14-Jun-2023 00:04 98278 fricas-source_1.3.10-1build3_all.deb 01-Apr-2024 14:43 1403286 fricas-source_1.3.11-2_all.deb 28-Jul-2024 23:59 1401188 fricas-source_1.3.7-5_all.deb 27-Jan-2022 18:24 1382730 fricas-source_1.3.8-6_all.deb 14-Jan-2023 09:29 1390462 fricas-source_1.3.8-8_all.deb 14-Jun-2023 00:04 1390192 fricas-test_1.3.10-1build3_all.deb 01-Apr-2024 14:43 163200 fricas-test_1.3.11-2_all.deb 28-Jul-2024 23:59 160562 fricas-test_1.3.7-5_all.deb 27-Jan-2022 18:24 290230 fricas-test_1.3.8-6_all.deb 14-Jan-2023 09:29 174988 fricas-test_1.3.8-8_all.deb 14-Jun-2023 00:04 175092 fricas_1.3.10-1build3.debian.tar.xz 31-Mar-2024 06:12 246284 fricas_1.3.10-1build3.dsc 31-Mar-2024 06:12 2503 fricas_1.3.10-1build3_amd64.deb 01-Apr-2024 14:43 65991450 fricas_1.3.10.orig.tar.bz2 15-Feb-2024 12:29 10971513 fricas_1.3.11-2.debian.tar.xz 28-Jul-2024 23:59 246456 fricas_1.3.11-2.dsc 28-Jul-2024 23:59 2363 fricas_1.3.11-2_amd64.deb 28-Jul-2024 23:59 60100996 fricas_1.3.11.orig.tar.bz2 30-Jun-2024 23:49 10937641 fricas_1.3.7-5.debian.tar.xz 27-Jan-2022 17:14 99416 fricas_1.3.7-5.dsc 27-Jan-2022 17:14 2351 fricas_1.3.7-5_amd64.deb 27-Jan-2022 18:24 62769332 fricas_1.3.7.orig.tar.bz2 01-Jul-2021 23:13 10859960 fricas_1.3.8-6.debian.tar.xz 14-Jan-2023 05:34 245220 fricas_1.3.8-6.dsc 14-Jan-2023 05:34 2352 fricas_1.3.8-6_amd64.deb 14-Jan-2023 09:29 64626364 fricas_1.3.8-8.debian.tar.xz 13-Jun-2023 23:35 245940 fricas_1.3.8-8.dsc 13-Jun-2023 23:35 2356 fricas_1.3.8-8_amd64.deb 14-Jun-2023 00:04 64643454 fricas_1.3.8.orig.tar.bz2 07-Jul-2022 23:24 10878913