../ gnome-user-docs_3.22.0-1.debian.tar.xz 24-Apr-2019 17:23 4468 gnome-user-docs_3.22.0-1.dsc 24-Apr-2019 17:23 2165 gnome-user-docs_3.22.0.orig.tar.xz 24-Apr-2019 17:23 13M gnome-user-guide_3.22.0-1_all.deb 24-Apr-2019 17:23 11M