../ kmenuedit_5.12.4-1.debian.tar.xz 28-Mar-2018 16:29 8832 kmenuedit_5.12.4-1.dsc 28-Mar-2018 16:29 2337 kmenuedit_5.12.4-1_armhf.deb 03-Apr-2018 10:08 749144 kmenuedit_5.12.4.orig.tar.xz 28-Mar-2018 16:29 651916 kmenuedit_5.8.4-1.debian.tar.xz 23-Nov-2016 18:05 3876 kmenuedit_5.8.4-1.dsc 23-Nov-2016 18:05 2277 kmenuedit_5.8.4-1_armhf.deb 26-Jan-2017 04:08 753866 kmenuedit_5.8.4.orig.tar.xz 23-Nov-2016 18:05 654760