pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

byzanz-record bfin-linux-gnu-cpp nl-class-list spftest pamtopnm camlp4 totpprov turbo_spectrum.x_mpich smbios-token-ctl SpecularSpheres 0store mkiss arm-none-eabi-gprof bp_meta_gff col6 debci-status exrstats freefoam-surfaceCoarsen fstransform fieldpath-gen indi_gpusb indi_lx200_16 wv2-config likey llvm-diff-3.4 avg_checktouch soundmodem setenv.sh handjoob fsobject.vbs

© loginroot.com, 2016