Binary: txt2man

era_dump e3vi erlc glite-proxy-setup v.surf.rst ksirk camlp4boot pmlogextract jsonlint kill_instance spicy-screenshot smdiag arch dialyzer genparse globus-gatekeeper ctlinnd ick ioreplay extractjpgs metacam nasty nbibtex nslint gst_pipeline_test pygettext3.4 strip-nondeterminism sup-mail pop-tkdesk uim-toolbar-gtk3