../ ginac-tools_1.8.7-1build2_amd64.deb 28-Oct-2025 13:35 73056 libginac-dev_1.8.7-1build2_amd64.deb 28-Oct-2025 13:26 1383080 libginac11_1.8.7-1build2_amd64.deb 28-Oct-2025 13:38 930826