../ ginac-tools_1.6.6-1_amd64.deb 16-Mar-2016 09:39 70478 ginac-tools_1.7.4-1_amd64.deb 02-Oct-2018 09:40 64788 libginac-dev_1.6.6-1_amd64.deb 16-Mar-2016 10:18 1197836 libginac-dev_1.7.4-1_amd64.deb 02-Oct-2018 09:41 1090156 libginac5v5-dbg_1.6.6-1_amd64.deb 16-Mar-2016 11:43 6077916 libginac5v5_1.6.6-1_amd64.deb 16-Mar-2016 10:15 889118 libginac6_1.7.4-1_amd64.deb 02-Oct-2018 09:20 796724