pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
apbs-smooth
drawgraph
cmodeltoseq
gmt2dat
typetest
kmahjongg
sirtopnm
semver
mason
carbon-client
qpid-stat
kpoints.x_mpich
reposdump
tcucodec
retrv
sbmt
axel
strip
cdfprobe
pstext
pgpverify
jh_installlibs
count-3.4
lxsession-xsettings
foo2zjs
q4wine-helper
fsfs-access-map
tpm_nvrelease
vokoscreen
winegcc64-development