../ felix-shell_1.4.3-2.debian.tar.xz 23-Dec-2017 05:39 4184 felix-shell_1.4.3-2.dsc 23-Dec-2017 05:39 2379 felix-shell_1.4.3.orig.tar.xz 26-Apr-2014 07:33 64656 libfelix-shell-java-doc_1.4.3-2_all.deb 23-Dec-2017 05:39 79564 libfelix-shell-java_1.4.3-2_all.deb 23-Dec-2017 05:39 52480