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