../ gnome-user-docs_3.22.0-1.debian.tar.xz 20-Sep-2016 09:29 4468 gnome-user-docs_3.22.0-1.dsc 20-Sep-2016 09:29 2165 gnome-user-docs_3.22.0.orig.tar.xz 20-Sep-2016 09:29 14148700 gnome-user-guide_3.22.0-1_all.deb 20-Sep-2016 11:30 11699010