../ ginac-tools_1.7.8-2build1_amd64.deb 09-Mar-2023 21:51 66228 libginac-dev_1.7.8-2build1_amd64.deb 09-Mar-2023 21:51 1142132 libginac6_1.7.8-2build1_amd64.deb 09-Mar-2023 21:51 828376