../ gnome-user-docs_3.38.2-1.debian.tar.xz 07-Dec-2020 14:39 5576 gnome-user-docs_3.38.2-1.dsc 07-Dec-2020 14:39 1843 gnome-user-docs_3.38.2-1_all.deb 07-Dec-2020 15:41 8508352 gnome-user-docs_3.38.2.orig.tar.xz 07-Dec-2020 14:39 11029676 gnome-user-guide_3.38.2-1_all.deb 07-Dec-2020 15:41 6004