pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ldclt-bin pand datanommer-dump umount.davfs fvshmem h8300-linux-gnu-gcov gfal-cat konsole kdump mysql-zrm-restore nebulaclient pamenlarge rwtop-record content-object-add glx-multithread-makecurrent-2 rsnapshot xz bootcdwrite ebhtcheck fl-run-test mkdir mailping-cron mcxrand pick.sh i686-w64-mingw32-widl lksh process_wait pwget glminfo spm8_coreg

© loginroot.com, 2016