Binary: agda

bat balignsim ecryptfs-rewrap-passphrase visualinfo asvector djpeg mk-query-digest podtoc salt-minion strace-log-merge query.fcgi xsetmode bpluginfo ceph_test_rados_api_snapshots cqa-check-bugs enq_ctndisp drs_tool ganeti-kvmd wtdist gnulib-tool gtkam ifile.test-learn.message lv2bench lxc-test-device-add-remove fftns segmasker pfsstat pinto ferret-browser ucspi-proxy-log