Binary: agda

as convmv setleds koji-gc gphoto2-port-config mysqlrplshow depth-clamp-status ext_framebuffer_multisample-int-draw-buffers-alpha-to-coverage pki-server generate_vdW_kernel_table.x sysreport verify-db coala ctfdump drbd-overview fop-ttfreader fte ibid-db flow6 jigdo-file dunedoxynize nfc-dep-target afs_compile_et splitkomdb pbespgsolve med-bio-dev mod_gearman_mini_epn otfdecompress od-tkdesk nirio_programmer