../ ginac-tools_1.8.6-1_amd64.deb 09-Feb-2023 06:58 71K libginac-dev_1.8.6-1_amd64.deb 09-Feb-2023 06:58 1M libginac11_1.8.6-1_amd64.deb 09-Feb-2023 06:58 886K