pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

aarch64-linux-gnu-objcopy ceph_filestore_dump GenSec gshhg_dp ib_acme jack_evmon qtdoc swappo qrunner mlmmj-recieve pmdumplog draw-elements-vs-inputs killall5 fsck arm-none-eabi-objcopy check-catalog-file-path.pl exfatlabel gnome-disk-image-mounter gnunet-vpn hdevtools qsfilter2 mason.pl rdf2owl checkint tstdt pgbadger rd2 saint-reformat MRMMapper xdt-csource

© loginroot.com, 2016