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