pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

abrt-action-notify cris-linux-gnu-objcopy bsd-mailx getLinks md5sum euca-delete-vpn-gateway split2po reporter-rhtsupport mpicc pk-debuginfo-install plymouthd sbcl asmix cfagent gmod_extract_dbxref_from_gff.pl ctfdump xml2dcm germinate grabber apr-config testrb likey dupemap pt-duplicate-key-checker foo2hiperc-wrapper ftpasswd shutter lily-rebuild-pdfs why-dp xtalk

© loginroot.com, 2016