../ ginac-tools_1.7.2-2_armhf.deb 27-Jan-2017 03:08 77372 libginac-dev_1.7.2-2_armhf.deb 27-Jan-2017 03:08 1051298 libginac6_1.7.2-2_armhf.deb 27-Jan-2017 03:08 676112