Index of /debian/pool/main/f/felix-shell-tui

Icon  Name                                        Last modified      Size  
[PARENTDIR] Parent Directory                                                 -   
[   ] felix-shell-tui_1.4.1-4.debian.tar.xz       2017-12-22 23:14  3.4K  
[   ] felix-shell-tui_1.4.1-4.dsc                 2017-12-22 23:14  2.4K  
[   ] felix-shell-tui_1.4.1.orig.tar.gz           2011-05-14 14:32   54K  
[   ] libfelix-shell-tui-java-doc_1.4.1-4_all.deb 2017-12-22 23:55   57K  
[   ] libfelix-shell-tui-java_1.4.1-4_all.deb     2017-12-22 23:55  9.9K
Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80