Binary: agda

c6x-linux-gnu-objcopy s390x-linux-gnu-addr2line x2sys_solve mingw64-pkg-config ppmbrighten ext_framebuffer_multisample-polygon-smooth ext_framebuffer_multisample-sample-alpha-to-one nv_conditional_render-blitframebuffer plowup pure-pw scrollkeeper-install zfs-fuse make_cvtermpath.sh checkinstall escript ext3grep rmcvsdir-2.6.4 freefoam-rhoPorousMRFPimple gsettings-schema-convert uhd_rx_cfile gparted-pkexec r.support grokevt-ripdll hpropd afs_compile_et polarssl_md5sum sagasu science-physics sparkclean uqwk.spool