../ gnome-video-trimmer_0.8.2-2.debian.tar.xz 11-Nov-2023 23:09 9500 gnome-video-trimmer_0.8.2-2.dsc 11-Nov-2023 23:09 2522 gnome-video-trimmer_0.8.2-2_amd64.deb 13-Nov-2023 16:19 1165766 gnome-video-trimmer_0.8.2.orig.tar.gz 11-Nov-2023 23:09 187815