Binary: agda

byobu-status-detail clang++ six-script giffiltr dasdinit lemon qrttoppm check-perf-trace-record flickr_upload pylint-gui tuboexec cryptmount debsigs-installer e2cp freefoam-writeMeshObj i.maxlik ibus-sharada-braille-abbreviation-editor imls dccpcli kmail-migrator minips dkimproxy-sign lxc-test-reboot mknmz java-rmi.cgi pt-visual-explain foo2slx-wrapper rwin.vbs sb_dbexpimp bitmap-editor