Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

func m32r-linux-gnu-cpp mpicxx gcaps geterror-inside-begin s3put mb qmake ofm2opl transmission-remote xteddy_test xvile bluemon-query fapg gst-doc hpropd alsa_out config-edit polarssl_ssl_server osgwidgetinput partclone.hfsplus odfoutline py2dsc slonik_store_node srg scramble vdeq sliceacq imgindex wininfo