pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ecryptfs-add-passphrase extrema x2sys_merge parallel fdo10370 vcf-consensus weight hcidump cueconvert dep3changelog diod helpmidas git-pbuilder grdsample gcc-4.2 file2udp ebook parsediasql setup imap4d mia-2dmyocard-segment uchime olpc-nosleep pkgkde-git pybabel-python3 literal.py remake snacc-config sup-dump worker

© loginroot.com, 2016