Binary: acl2

avr32-linux-gnu-ld.bfd auto-rotate.ps kpasswd ntpdate ocaml-bdump glx-fbconfig-compliance designer qucsconv scotch_mcv i386 akonadi_agent_server alien boom makeprotseq unknown gnome-subtitles kismet_capture lxsession-logout trigger-panel-run-dialog mincdump mkc_check_common.sh mgaps mapnik-render openpgp-tool proxsmtpd mhf_tickle ratproxy-report razor-lightdm-greeter spacenavd teem-miter