../ ginac-tools_1.7.5-1_amd64.deb 11-Apr-2022 10:44 84K ginac-tools_1.7.5-1_i386.deb 11-Apr-2022 10:33 86K ginac_1.7.5-1.diff.gz 11-Apr-2022 10:32 5005 ginac_1.7.5-1.dsc 11-Apr-2022 10:32 1915 ginac_1.7.5.orig.tar.gz 11-Apr-2022 10:32 1M libginac-dev_1.7.5-1_amd64.deb 11-Apr-2022 10:41 1M libginac-dev_1.7.5-1_i386.deb 11-Apr-2022 09:56 1M libginac6_1.7.5-1_amd64.deb 11-Apr-2022 10:21 795K libginac6_1.7.5-1_i386.deb 11-Apr-2022 10:26 853K