../ gnome-text-editor_42.2-0ubuntu1.debian.tar.xz 17-Nov-2022 11:59 10788 gnome-text-editor_42.2-0ubuntu1.dsc 17-Nov-2022 11:59 2596 gnome-text-editor_42.2-0ubuntu1_amd64.deb 17-Nov-2022 11:12 389050 gnome-text-editor_42.2.orig.tar.xz 17-Nov-2022 11:59 1168504