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