pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
dfbtest_blit2
e2freefrag
f95
hivexml
cgsnapshot
export.pyc
fix_url.pyc
fdo14575
glean
pic2plot
tint2conf
qnodes
aefind
racount
aws
z80-unknown-coff-strip
bittwist
cloog-ppl
txt2gtab-phrase
gfan_tropicalstartingcone
gfsview-batch3D
gtkorphan
tsvbr2cbr
osgsimplegl3
python-coverage
tauf90
atk6-fake_dnsupdate6
fsck.minix
xeno
analogy_config