Binary: acl2

avahi-set-host-name dpns-ping gdaladdo gl-setup-authkeys test-speech i2cset lokalize hugectl depmod mpitests-osu_multi_lat mysql_config pnmpsnr tiny-lr xzdiff m68hc11-size funindex makeactive ri rdoc mia-3dcost mincmakevector munpack arcslcs orbd ovsdb-server qemu-armeb sogo-backup wminput rib_xrl_shell_funcs.sh snapshot.cgi