../ ginac-tools_1.7.8-2build1_amd64.deb 07-Feb-2022 08:39 66228 libginac-dev_1.7.8-2build1_amd64.deb 07-Feb-2022 11:02 1142132 libginac6_1.7.8-2build1_amd64.deb 07-Feb-2022 09:15 828376