pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

glewinfo gtk-redshift hdftopal hercifc pbmtoepson arcemiestest idiff arb_clear_texture-simple sems-sbc-reload-profile scsi-rescan newusers b2f apertium-tolk atmdiag caveconverter seqsearch setforward g++-4.8 writelog miz3e na6 grilo-test-ui-0.2 olsrd-adhoc-setup openteacher osmjs zconfig_schema2html debugout_pbeta.txt.gz vr.pl Decharger otl2docbook

© loginroot.com, 2016