../ 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-3.debian.tar.xz 03-May-2016 05:53 11440 gap-float_0.6.3+ds-3.dsc 03-May-2016 05:53 2263 gap-float_0.6.3+ds-3_armhf.deb 08-May-2016 10:08 191482 gap-float_0.6.3+ds.orig.tar.xz 11-Oct-2014 20:01 60500