../ elpa-fricas_1.3.10-1build3_all.deb 01-Apr-2024 21:43 50760 elpa-fricas_1.3.7-5_all.deb 28-Jan-2022 01:24 50800 fricas-databases_1.3.10-1build3_all.deb 01-Apr-2024 21:43 1211944 fricas-databases_1.3.7-5_all.deb 28-Jan-2022 01:24 1195948 fricas-doc_1.3.10-1build3_all.deb 01-Apr-2024 21:43 215384 fricas-doc_1.3.7-5_all.deb 28-Jan-2022 01:24 216252 fricas-graphics-data_1.3.10-1build3_all.deb 01-Apr-2024 21:43 1225974 fricas-graphics-data_1.3.7-5_all.deb 28-Jan-2022 01:24 1261516 fricas-graphics_1.3.10-1build3_amd64.deb 01-Apr-2024 21:43 128004 fricas-graphics_1.3.7-5_amd64.deb 28-Jan-2022 01:24 129700 fricas-hypertex-data_1.3.10-1build3_all.deb 01-Apr-2024 21:43 682126 fricas-hypertex-data_1.3.7-5_all.deb 28-Jan-2022 01:24 685912 fricas-hypertex_1.3.10-1build3_amd64.deb 01-Apr-2024 21:43 97952 fricas-hypertex_1.3.7-5_amd64.deb 28-Jan-2022 01:24 99942 fricas-source_1.3.10-1build3_all.deb 01-Apr-2024 21:43 1403286 fricas-source_1.3.7-5_all.deb 28-Jan-2022 01:24 1382730 fricas-test_1.3.10-1build3_all.deb 01-Apr-2024 21:43 163200 fricas-test_1.3.7-5_all.deb 28-Jan-2022 01:24 290230 fricas_1.3.10-1build3_amd64.deb 01-Apr-2024 21:43 65991450 fricas_1.3.7-5_amd64.deb 28-Jan-2022 01:24 62769332