../ vdr-plugin-prefermenu_0.6.6-37build1.debian.tar.gz 19-May-2013 23:03 11147 vdr-plugin-prefermenu_0.6.6-37build1.dsc 19-May-2013 23:03 2232 vdr-plugin-prefermenu_0.6.6-37build1_arm64.deb 25-Oct-2013 04:19 22616 vdr-plugin-prefermenu_0.6.6-37build1_armhf.deb 19-May-2013 23:03 20336 vdr-plugin-prefermenu_0.6.6.orig.tar.gz 15-Jun-2006 18:03 19617