../ ginac-tools_1.8.7-1build2_amd64.deb 23-Dec-2024 18:56 73056 libginac-dev_1.8.7-1build2_amd64.deb 23-Dec-2024 15:56 1383080 libginac11_1.8.7-1build2_amd64.deb 23-Dec-2024 19:27 930826