../ gnome-user-docs_3.30.2-1.debian.tar.xz 26-Nov-2018 04:51 5020 gnome-user-docs_3.30.2-1.dsc 26-Nov-2018 04:51 2161 gnome-user-docs_3.30.2-1_all.deb 26-Nov-2018 05:42 13M gnome-user-docs_3.30.2.orig.tar.xz 26-Nov-2018 04:51 15M gnome-user-guide_3.30.2-1_all.deb 26-Nov-2018 05:42 5528