Binary: agda

avr-run ceph_test_rados_delete_pools_parallel ppdhtml gd2topng ghdl gnome-session krb5-auth-dialog myproxy-store ng_vol mkfs.ntfs horde-db-migrate-component arb_uniform_buffer_object-getactiveuniformblockiv-uniform-block-data-size nokogiri extconv etags.xemacs xfsettingsd powerpc-linux-gnu-addr2line dconf-editor lsconv seqfraggle filetraq g++-4.8 x86_64-w64-mingw32-g++-posix gnunet-gns-proxy-setup-ca herold japilist smpirun db5-valid texifybeta tab2d