../ felix-shell_1.4.3-2.debian.tar.xz 23-Dec-2017 01:18 4184 felix-shell_1.4.3-2.dsc 23-Dec-2017 01:18 2379 felix-shell_1.4.3.orig.tar.xz 09-Apr-2014 19:36 64656 libfelix-shell-java-doc_1.4.3-2_all.deb 23-Dec-2017 02:25 80760 libfelix-shell-java_1.4.3-2_all.deb 23-Dec-2017 02:25 53668