Binary: agda

bcfg2-report-collector bc indexer isdnctrl create_svnignore kadmind ykparse arb_uniform_buffer_object-getintegeri_v pm-hibernate pwdx fix-qdf qperf tpm_takeownership autoradiod ocs-langkbdconf-bterm debian-edu-restart-services dmitry compseq funimage x86_64-w64-mingw32-gnatname-posix gnunet-download-manager icesh-experimental nntpget kabikaboo libvirtd occ nose2-3.4 rotix starpu_paje_state_stats yhsm-linux-add-entropy