../ felix-shell-tui_1.4.1-5.debian.tar.xz 22-Sep-2025 08:25 3564 felix-shell-tui_1.4.1-5.dsc 22-Sep-2025 08:25 1410 felix-shell-tui_1.4.1.orig.tar.gz 22-Sep-2025 08:25 54863 libfelix-shell-tui-java-doc_1.4.1-5_all.deb 22-Sep-2025 08:25 111940 libfelix-shell-tui-java_1.4.1-5_all.deb 22-Sep-2025 08:25 10724