Binary: clingo

amcrypt-ossl-asym knetwalk greenbone-nvt-sync unwrapdiff sabredav arb_multisample-pushpop hiz-depth-test-window-stencil1 geod razor-confupdate apertium-gen-deformat bp_mask_by_search camlp5r.opt debiandoc2latexdvi eliomc random5.lut evolvotron gifti_test git-debcherry heirloom-mailx symkeyutil mate-time-admin-pkexec ovs-vlan-test opusrtp pwauth csr rivet commander sraw jboverdrive srsd