../ felix-shell_1.4.3-2.debian.tar.xz 23-Dec-2017 13:39 4184 felix-shell_1.4.3-2.dsc 23-Dec-2017 13:39 2379 felix-shell_1.4.3.orig.tar.xz 26-Apr-2014 15:33 63K libfelix-shell-java-doc_1.4.3-2_all.deb 23-Dec-2017 13:39 78K libfelix-shell-java_1.4.3-2_all.deb 23-Dec-2017 13:39 51K