Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bcfg2-build-reports ipmi-console gcloseall nemiver kronolith-convert-sql-shares-to-sqlng glx-query-renderer-coverage clustat tcpreen aa3d h8300-hitachi-coff-objcopy chasen check_postgres_dbstats checkstyle hetro mwlQuery dsh espeakup x_edit bpcpd kmldonkey ktremotemgr lat jadejs pkcs_slot qmail-tcpto gmk_m3-int64 gotst-int32 starpu_codelet_profile PTModel vznetaddbr