../ kmenuedit_5.12.1-1.debian.tar.xz 20-Feb-2018 22:17 8812 kmenuedit_5.12.1-1.dsc 20-Feb-2018 22:17 2337 kmenuedit_5.12.1-1_armhf.deb 26-Feb-2018 16:08 749164 kmenuedit_5.12.1.orig.tar.xz 20-Feb-2018 22:17 651836 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