../ ginac-tools_1.7.5-1_armhf.deb 22-Jul-2020 16:16 77352 libginac-dev_1.7.5-1_armhf.deb 22-Jul-2020 15:11 15279284 libginac6_1.7.5-1_armhf.deb 22-Jul-2020 14:27 667400