Binary: dfg2tptp

xtensa-linux-gnu-size cdserv dib-run-parts hxtool juk sweeper lgroupdel arb_uniform_buffer_object-bindbuffer-general-point fbo-colormask-formats invproj groupmems unifdefall.sh col aoe-mkshelf m68hc11-strip fatlabel po2txt knotes-migrator langford_rx_rf_bb_vga lava grl-inspect-0.2 osinfo-query librarian-puppet orville-write pmlock pdfmod qmlprofiler snmpsimd soundkonverter widemargin