pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

alsamixer avahi-resolve-host-name coin-config LzmaCompress xferfaxstats bovo vmcore-dmesg mediainfo mpitests-osu_scatter pampop9 arcemiestest scorep-score yumdownloader zabbix_server_sqlite3 ciderwebmail_server.pl r3.null hpmount imapproxyd mod-active xspp lxc-test-get_item paman chgpasswd graphic_memory_info inflate_denoiser_output.py tcpspy init-checkconf ctext2pgm trimhistory xymond

© loginroot.com, 2016