Binary: datalog

infadd-bin automake-1.6 bats arm-linux-gnu-objdump curl start_webtool euwatch-set-alarm-state flow-filter imapfilter kde4-doxygen.sh ppmtoneo pg_ctl pm ypcat mount.aptfs berkeley-abc mips64el-linux-gnuabi64-ld clojurec1.6 cvc3 vars.o gmerlin_alsamixer camitk-cepgenerator DBDirect-hdbc-odbc jrunscript gputest_benchmark remote-tty sc_warts2text v4l2ucp checkmol povray