pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
strip
compiz-gtk
dgsop
dmidecode
ecryptfsd
ed
dcl2inc
ipa-dns-install
pcbnew
node-gyp
eval_octree_accuracy
fbo-sys-sub-blit
ipengine
qucsveri
rcsmerge
msp430-c++filt
dms_promotedb
espeakup
POFileConsistency
gfs2_grow
git-effort
hebcal
knockd
kradio4-convert-presets
massxpert
med-config
es2gears
newmail
srf2fasta
tla-gpg-check