../ ginac-tools_1.8.0-2_amd64.deb 10-Nov-2020 00:25 74860 ginac_1.8.0-2.debian.tar.xz 09-Nov-2020 23:39 5320 ginac_1.8.0-2.dsc 09-Nov-2020 23:39 1936 ginac_1.8.0.orig.tar.bz2 16-Oct-2020 12:21 1124136 libginac-dev_1.8.0-2_amd64.deb 10-Nov-2020 00:25 1230584 libginac11_1.8.0-2_amd64.deb 10-Nov-2020 00:25 900280