Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

alsaunmute runant.py nm gnome-display-properties ibhosts intel_disable_clock_gating rcp libreoffice pcl_mls_smoothing powertop qt3to4 check rpmdep.pl will_python_raise fsck.xfs mpxstats check_postgres_wal_files evolver frown g++-4.9 xqueryx2xquery gdcmxml repeat-match jsadebugd ossim-modopt pegasus-tc-converter pspresent pyro-xnsc wmnd x42-scope