../ 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 gap-float_0.7.4+ds-3.debian.tar.xz 29-Oct-2016 00:01 10352 gap-float_0.7.4+ds-3.dsc 29-Oct-2016 00:01 2946 gap-float_0.7.4+ds-3_armhf.deb 29-Oct-2016 04:08 190104 gap-float_0.7.4+ds.orig.tar.xz 14-Oct-2016 04:51 58736