# Total size: 464912
/usr/local/bin/rlwrap
/usr/local/share/man/man1/rlwrap.1.gz
/usr/local/share/man/man3/RlwrapFilter.3pm.gz
/usr/local/share/rlwrap/completions/coqtop
/usr/local/share/rlwrap/completions/testclient
/usr/local/share/rlwrap/filters/README
/usr/local/share/rlwrap/filters/RlwrapFilter.3pm
/usr/local/share/rlwrap/filters/RlwrapFilter.pm
/usr/local/share/rlwrap/filters/censor_passwords
/usr/local/share/rlwrap/filters/censor_passwords.py
/usr/local/share/rlwrap/filters/count_in_prompt
/usr/local/share/rlwrap/filters/count_in_prompt.py
/usr/local/share/rlwrap/filters/ftp_filter
/usr/local/share/rlwrap/filters/ftp_filter.py
/usr/local/share/rlwrap/filters/handle_hotkeys
/usr/local/share/rlwrap/filters/handle_hotkeys.py
/usr/local/share/rlwrap/filters/history_format
/usr/local/share/rlwrap/filters/listing
/usr/local/share/rlwrap/filters/logger
/usr/local/share/rlwrap/filters/logger.py
/usr/local/share/rlwrap/filters/null
/usr/local/share/rlwrap/filters/null.py
/usr/local/share/rlwrap/filters/paint_prompt
/usr/local/share/rlwrap/filters/paint_prompt.py
/usr/local/share/rlwrap/filters/pipeline
/usr/local/share/rlwrap/filters/pipeto
/usr/local/share/rlwrap/filters/pipeto.py
/usr/local/share/rlwrap/filters/rlwrapfilter.py
/usr/local/share/rlwrap/filters/scrub_prompt
/usr/local/share/rlwrap/filters/simple_macro
/usr/local/share/rlwrap/filters/template
/usr/local/share/rlwrap/filters/unbackspace
