Binary: agda

bamToBed btrfs-zero-log carbon-path davix-ls v.out.svg hid-replay genfontmap.ps qp-encode.awk dc1394_grab_color_image matchpathcon tiffsplit lvmetad ld.bfd pk2bm fake_dns6d arm-none-eabi-size splitxyz hdfview create-so-layer.pl rw-by-pid-report litl_merge mini-dinstall windowfilter gmk_hy gord-int32 nencvalid transfermii_gui volti xen-python-path xtv