Binary: agda

apbs-dxmath fold cpanget dhclient codiff rlogin-cwd getconf cpu_usage ndmetis64 ntfswipe pbo-readpixels-small xfig-plain adjtimexconfig aubioquiet bttrack.bittorrent bld-mrtg freebsd-cksum fstminer h5math libwebsockets-test-echo rawlog-grabber openambit linguist regfiletype scratch hexkinya lslocks vfu wmcpuload tv_grab_pt_meo