pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
cf-runagent
dd
cpufreq-aperf
dfu-programmer
euca-reboot-instances
fbrun
fusioninventory-esx
gdparttopng
gifcolor
iconvconfig.i686
bgolly
korgac
xc-info
arb_sync-repeat-wait
mailstat
pyflakes
wbemecn
archive_server
debcheckout
expect_xpstat
grompp
xhotswap
sendinpaths
ebug
glxheads
neobio
pumpa
pytest3
xeno
xx-svn-resolve