Binary: agda

accrete ld btkbdd keyarch to_erl libgcc_s_sjlj-1.dll mpiname mimesend hiz-stencil-read-window-depth0 viewvc.cgi freq mountavfs aylet-gtk bum cfshow grep-dctrl quality_check bat2gts gdcmdiff gen_unigram burst myproxy-server NPopenmpi natsemi-diag dh_movelibkdeinit pumpa sift fstail reportbug-ng wxAstroCapture