../ gap-float_0.6.3+ds-1.debian.tar.xz 11-Oct-2014 20:01 10716 gap-float_0.6.3+ds-1.dsc 11-Oct-2014 20:01 2237 gap-float_0.6.3+ds-1_armhf.deb 22-Oct-2014 11:11 191338 gap-float_0.6.3+ds.orig.tar.xz 11-Oct-2014 20:01 60500