pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dfbtest_blit2 e2freefrag f95 hivexml cgsnapshot export.pyc fix_url.pyc fdo14575 glean pic2plot tint2conf qnodes aefind racount aws z80-unknown-coff-strip bittwist cloog-ppl txt2gtab-phrase gfan_tropicalstartingcone gfsview-batch3D gtkorphan tsvbr2cbr osgsimplegl3 python-coverage tauf90 atk6-fake_dnsupdate6 fsck.minix xeno analogy_config

© loginroot.com, 2016