../ ginac-tools_1.8.2-3_amd64.deb 09-Aug-2024 14:16 73650 libginac-dev_1.8.2-3_amd64.deb 09-Aug-2024 14:20 1382526 libginac11_1.8.2-3_amd64.deb 09-Aug-2024 14:26 923694