../ ginac-tools_1.7.4-1_amd64.deb 19-Oct-2021 08:15 64788 libginac-dev_1.7.4-1_amd64.deb 19-Oct-2021 08:15 1090156 libginac6_1.7.4-1_amd64.deb 19-Oct-2021 08:15 796724