../ gnome-builder_3.20.4-1.debian.tar.xz 11-May-2016 18:31 12448 gnome-builder_3.20.4-1.dsc 11-May-2016 18:31 2685 gnome-builder_3.20.4-1_armhf.deb 17-May-2016 22:08 1400978 gnome-builder_3.20.4.orig.tar.xz 11-May-2016 18:31 1816816