../ ginac-tools_1.8.2-3_amd64.deb 14-Sep-2023 18:21 73650 ginac-tools_1.8.7-1build2_amd64.deb 24-Apr-2025 16:44 73056 libginac-dev_1.8.2-3_amd64.deb 14-Sep-2023 18:21 1382526 libginac-dev_1.8.7-1build2_amd64.deb 24-Apr-2025 16:44 1383080 libginac11_1.8.2-3_amd64.deb 14-Sep-2023 18:21 923694 libginac11_1.8.7-1build2_amd64.deb 24-Apr-2025 16:44 930826