../ ginac-tools_1.7.5-1_amd64.deb 25-Jan-2023 17:18 84K libginac-dev_1.7.5-1_amd64.deb 25-Jan-2023 19:55 1M libginac6_1.7.5-1_amd64.deb 25-Jan-2023 19:55 795K