Binary: agda

alpha-linux-gnu-readelf cdiff distccmon-text psbasemap mmroff objdump pbm2l7k q2qstar.x_mpich mustache tcpick vlog autossh-argv0 dispcalGUI-testchart-editor dkim_responder ecaccess-event-clear fastaq_to_unique_by_id freefoam-moveMesh rs6 memccapable mkpasswd.pl youtube-download lightdm llvm-nm-3.5 mipeCheckSanity xinput_resource pytags qemu-sparc32plus sb_filter tkabber-remote backportpackage