pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
objcopy
cancel.cups
daily_cleanup.pyc
import-ferm
runhaskell-ghc
zic
kde-config
horde-sessions-gc
ext_framebuffer_multisample-blit-flipped
qmake-qt4
qdbus
scorep-info
shptest
texmfstart
arm-linux-gnueabihf-as
cl
connect
get-client-ip-list
gspectrum-0.14
gfan_stats
gnuserv
hxtoc
trs
pg_prove
service_started
qbs-setup-qt
pop_auth
test-sra
svnauthz-validate
makevlsm