../ ginac-tools_1.8.0-2_amd64.deb 22-May-2023 11:56 73K libginac-dev_1.8.0-2_amd64.deb 22-May-2023 13:02 1M libginac11_1.8.0-2_amd64.deb 22-May-2023 13:02 879K