../ 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 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-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-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_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-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_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-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-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_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