../ elpa-fricas_1.3.7-5_all.deb 27-Jan-2022 18:24 50800 elpa-fricas_1.3.8-1_all.deb 07-Jul-2022 23:43 50366 elpa-fricas_1.3.8-6_all.deb 14-Jan-2023 09:29 50270 fricas-databases_1.3.7-5_all.deb 27-Jan-2022 18:24 1195948 fricas-databases_1.3.8-1_all.deb 07-Jul-2022 23:44 1196106 fricas-databases_1.3.8-6_all.deb 14-Jan-2023 09:29 1195970 fricas-doc_1.3.7-5_all.deb 27-Jan-2022 18:24 216252 fricas-doc_1.3.8-1_all.deb 07-Jul-2022 23:44 215502 fricas-doc_1.3.8-6_all.deb 14-Jan-2023 09:29 215354 fricas-graphics-data_1.3.7-5_all.deb 27-Jan-2022 18:24 1261516 fricas-graphics-data_1.3.8-1_all.deb 07-Jul-2022 23:44 1225504 fricas-graphics-data_1.3.8-6_all.deb 14-Jan-2023 09:29 1223472 fricas-graphics_1.3.7-5_amd64.deb 27-Jan-2022 18:24 129700 fricas-graphics_1.3.8-1_amd64.deb 07-Jul-2022 23:44 129462 fricas-graphics_1.3.8-6_amd64.deb 14-Jan-2023 09:29 3532 fricas-hypertex-data_1.3.7-5_all.deb 27-Jan-2022 18:24 685912 fricas-hypertex-data_1.3.8-1_all.deb 07-Jul-2022 23:43 681730 fricas-hypertex-data_1.3.8-6_all.deb 14-Jan-2023 09:29 651852 fricas-hypertex_1.3.7-5_amd64.deb 27-Jan-2022 18:24 99942 fricas-hypertex_1.3.8-1_amd64.deb 07-Jul-2022 23:43 98810 fricas-hypertex_1.3.8-6_amd64.deb 14-Jan-2023 09:29 3524 fricas-source_1.3.7-5_all.deb 27-Jan-2022 18:24 1382730 fricas-source_1.3.8-1_all.deb 07-Jul-2022 23:43 1390442 fricas-source_1.3.8-6_all.deb 14-Jan-2023 09:29 1390462 fricas-test_1.3.7-5_all.deb 27-Jan-2022 18:24 290230 fricas-test_1.3.8-1_all.deb 07-Jul-2022 23:44 175144 fricas-test_1.3.8-6_all.deb 14-Jan-2023 09:29 174988 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-1.debian.tar.xz 07-Jul-2022 23:24 245160 fricas_1.3.8-1.dsc 07-Jul-2022 23:24 2354 fricas_1.3.8-1_amd64.deb 07-Jul-2022 23:44 62313718 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.orig.tar.bz2 07-Jul-2022 23:24 10878913