../ ginac-tools_1.6.6-1_amd64.deb 28-May-2020 21:40 70478 ginac-tools_1.7.4-1_amd64.deb 28-May-2020 17:34 64788 libginac-dev_1.6.6-1_amd64.deb 28-May-2020 21:42 1197836 libginac-dev_1.7.4-1_amd64.deb 28-May-2020 17:46 1090156 libginac5v5-dbg_1.6.6-1_amd64.deb 28-May-2020 21:52 6077916 libginac5v5_1.6.6-1_amd64.deb 28-May-2020 21:39 889118 libginac6_1.7.4-1_amd64.deb 28-May-2020 17:46 796724