../ ginac-tools_1.8.0-2_amd64.deb 05-Mar-2022 13:10 73K ginac-tools_1.8.6-1_amd64.deb 07-Nov-2023 20:37 71K libginac-dev_1.8.0-2_amd64.deb 05-Mar-2022 13:10 1M libginac-dev_1.8.6-1_amd64.deb 07-Nov-2023 20:37 1M libginac11_1.8.0-2_amd64.deb 05-Mar-2022 13:10 879K libginac11_1.8.6-1_amd64.deb 07-Nov-2023 20:37 886K