pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
xml2ads
users
dfbtest_blit
exiv2
radsqlrelay
mlogc
munin-run
pambackground
celerybeat
sg_prevent
wxrc-3.0
z80asm
aefind
k2f
cdfnamelist
edamname
patmatmotifs
gaffitter
gnunet-scrypt
parsecontrol
snap-framework
hm-braindump
xupdate
sendfiles
nodecachefilereader
couchdb-load
qmc-gui
sg_referrals
sysconftoolize
wakeonlan