drwxr-xr-x root/root         0 2009-05-16 21:17 usr/
drwxr-xr-x root/root         0 2009-05-16 21:17 usr/bin/
-rwxr-xr-x root/root     43912 2009-05-16 21:17 usr/bin/rlwrap
drwxr-xr-x root/root         0 2009-05-16 21:17 usr/share/
drwxr-xr-x root/root         0 2009-05-16 21:17 usr/share/man/
drwxr-xr-x root/root         0 2009-05-16 21:17 usr/share/man/man1/
-rw-r--r-- root/root      4870 2009-05-16 21:17 usr/share/man/man1/rlwrap.1.gz
drwxr-xr-x root/root         0 2009-05-16 21:17 usr/share/rlwrap/
-rw-r--r-- root/root       446 2009-05-16 21:17 usr/share/rlwrap/ftp
-rw-r--r-- root/root      1327 2009-05-16 21:17 usr/share/rlwrap/testclient
-rw-r--r-- root/root       730 2009-05-16 21:17 usr/share/rlwrap/coqtop