Binary: acl2

arecord frv-linux-gnu-ar rbd r.composite kollision x86_64-w64-mingw32-as monodocs2html soapsuds pbmtoybm sick_lms_config cifsiostat abcmatch autoproject z80-unknown-coff-gprof cp2k dxml-getelement dh_installlogrotate freefoam-reacting r.in.ascii gravit grub-bios-setup qikea kytea cme mifare-desfire-write-ndef teamdctl wlanctl-ng optical_write_test u1db-serve wmix