../ ginac-tools_1.7.2-2_amd64.deb 20-Dec-2022 23:55 83K ginac-tools_1.7.2-2_i386.deb 12-Nov-2024 11:05 86K libginac-dev_1.7.2-2_amd64.deb 20-Dec-2022 23:55 1M libginac-dev_1.7.2-2_i386.deb 12-Nov-2024 11:31 1M libginac6_1.7.2-2_amd64.deb 20-Dec-2022 23:55 782K libginac6_1.7.2-2_i386.deb 12-Nov-2024 11:31 863K