Binary: agda

abrt-action-analyze-ccpp-local edg-gridftp-exists getop esmtp-wrapper eulb-create-tags glite-lb-msg-config bluetooth-wizard gtkdialog kde-open nih-dbus-tool odbx-sql pkgdb-admin tex-miplevel-selection rekall sbcl sdcc-sstm8 aubiotrack drbl-nfs-conf fdnsname ghci-7.6.3 atdgen nxcl r2test eqn2eps teredo-mire TestTarget_LVRT.pm mapnik-inspect sc_warts2pcap treil yaskkserv_simple