../ ginac-tools_1.8.7-1build2_amd64.deb 31-Mar-2024 19:33 73056 ginac_1.8.7-1build2.debian.tar.xz 31-Mar-2024 06:11 5804 ginac_1.8.7-1build2.dsc 31-Mar-2024 06:11 2036 ginac_1.8.7.orig.tar.bz2 12-Aug-2023 23:09 1153952 libginac-dev_1.8.7-1build2_amd64.deb 31-Mar-2024 19:33 1383080 libginac11_1.8.7-1build2_amd64.deb 31-Mar-2024 19:33 930826