../ ginac-tools_1.7.2-2_amd64.deb 20-Dec-2022 23:55 83K libginac-dev_1.7.2-2_amd64.deb 20-Dec-2022 23:55 1M libginac6_1.7.2-2_amd64.deb 20-Dec-2022 23:55 782K