Binary: ppl_gprolog

xtensa-linux-gnu-ar cryptsetup cube_part weather man7 gtkada-dialog cfn-signal ibmonitor javacc zrm-pre-scheduler qcrmlgen s3cmd system-setup-keyboard ztest amarokmp3tunesharmonydaemon atheist arm-linux-gnueabi-gprof cairo-perf-graph-files conmux-console drbl-user-rm dvdwizard_test seqretsetall econvert query-pr js-config lp-milestone2ical util.py qprogram-starter tsp valabind-cc