../ ginac-tools_1.8.7-1build2_amd64.deb 13-Jul-2026 11:08 73056 libginac-dev_1.8.7-1build2_amd64.deb 13-Jul-2026 11:10 1383080 libginac11_1.8.7-1build2_amd64.deb 13-Jul-2026 10:53 930826