../ gnome-builder_3.22.3-1.debian.tar.xz 30-Nov-2016 13:07 13924 gnome-builder_3.22.3-1.dsc 30-Nov-2016 13:07 2881 gnome-builder_3.22.3-1_armhf.deb 06-Dec-2016 22:08 1864214 gnome-builder_3.22.3.orig.tar.xz 30-Nov-2016 13:07 2462844