../ ginac-tools_1.8.2-3_amd64.deb 21-Feb-2022 05:34 72K ginac-tools_1.8.7-1build2_amd64.deb 31-Mar-2024 19:33 71K libginac-dev_1.8.2-3_amd64.deb 21-Feb-2022 05:34 1M libginac-dev_1.8.7-1build2_amd64.deb 31-Mar-2024 19:33 1M libginac11_1.8.2-3_amd64.deb 21-Feb-2022 05:34 902K libginac11_1.8.7-1build2_amd64.deb 31-Mar-2024 19:33 909K