pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bmc-info clogTOslog2 mpirun_dbg.gdb mysql-zrm-manage-backup gen-nonzero-unit ase-gui seahorse srp_daemon.sh i586-linux-gnu-gprof z80-unknown-coff-ld showdb folks-inspect vfte gfan_padic dtemacs v.surf.bspline rqsh-server.pl.gz update-mime moap mpi_kmeans mpqcval mpris-remote whups-convert-datatree-shares-to-sql piuparts pnscan encode.py pg_python.py ri tsplash ulqda

© loginroot.com, 2016