Binary: agda

cube_exclusify nntptest dpkg-vendor isnsd jbig2dec kvm.kss mtp-folders edge oiiotool gl-3.1-primitive-restart-xfb glx-fbo-binding moc qtconfig-qt4 setstyle wineserver64 zarafa-set-oof awrite cinnamon-screensaver-lock-dialog dicompyler RGBtoYUV420 acdpretty x2sys_init v.net.components kvkcard polarssl_crl_app i586-mingw32msvc-objdump nuitka-run mkjobtexmf x86info zdb