../ felix-shell_1.4.2-3.debian.tar.gz 06-Oct-2011 20:49 3999 felix-shell_1.4.2-3.dsc 06-Oct-2011 20:49 2209 felix-shell_1.4.2.orig.tar.gz 14-May-2011 12:32 75181 libfelix-shell-java-doc_1.4.2-3_all.deb 06-Oct-2011 20:49 147876 libfelix-shell-java_1.4.2-3_all.deb 06-Oct-2011 20:49 56760