Binary: acl2

bwbar cube_dump update-desktop-database g_nmtraj g_trjconv_d lstopo-no-graphics onionshare-gui pen linestipple t1disasm tpm_getpubek bp_das_server cdstop clang-apply-replacements clang-format similarity clmake-short dns2tcpd diameterc freefem freefoam-applyWallFunctionBoundaryConditions v.net.distance nfc-emulate-tag lptest foo2oak-wrapper foo2xqx-wrapper remote-tty reportbug-ng wmtime yapra