pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ceph-post-file certwatch hdf24to8 x86_64-w64-mingw32-ranlib pkcs11_eventmgr stdpods fbo-generatemipmap sdcc-s51 mailq.ssmtp lcp2_crtpolelt vlock weight dh_suidregister dot-forward drbl-client-system-select floppycontrol tcp2file comterp mia-2dsegment-fuzzyw asp-state2 rmic p4v pj_validate pb-event pyrenamer taud MSSimulator bdbinfo vdradmind wifi-radar

© loginroot.com, 2016