../ gnome-user-docs_3.30.2-1.debian.tar.xz 01-Dec-2018 12:00 5020 gnome-user-docs_3.30.2-1.dsc 01-Dec-2018 12:00 2161 gnome-user-docs_3.30.2-1_all.deb 01-Dec-2018 12:01 13310276 gnome-user-docs_3.30.2.orig.tar.xz 01-Dec-2018 12:00 15707236 gnome-user-guide_3.30.2-1_all.deb 01-Dec-2018 12:01 5528