pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

efibootmgr ga-config showconsolefont kile bonobo-activation-run-query virt-sysprep ncidd pk-device-rebind razor-config-globalkeyshortcuts sa-check_spamd tkcvs apper objdump cafeobj gdalsrsinfo glade-previewer peas-demo stemwords mail-expire mozplugger-linker Process_Win32.pm mrstats test_worker.py weboob-repos principal_coordinates.py rpld-import muplot storeBackupVersions tv_grab_na_dtv yagi

© loginroot.com, 2016