Binary: agda

gnome-keybinding-properties msggrep stream ncl_filedump fix-qdf sg_xcopy tmda-sendmail tmux-top xfig-Xaw3d spattach cf-execd lp debiandoc2latexpdf GSSpeechServer ltpclock comedi_calibrate s3get etf2ly mate-shares-admin-pkexec mighty-mkindex yuvmedianfilter oarremoveresource swaml tkdeskclient SpectraFilterWindowMower tcyait vbim vzpid catmaster capitalize