pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

asciidoc objcopy cdpr soelim dc1394_grab_partial_image repo2solv.sh ulimit.sh nautilus-file-management-properties genericups nxproxy openipmicmd export-to-postgresql-report qpid-cluster-store rdrand-gen runtools wrudf argus blaze-add hciconfig ciderwebmail_server.pl graph-includes pasteseq rotate ktnef ctemplate-template-converter tkx-ed clxdo spindown systemd-delta splitlog

© loginroot.com, 2016