pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
abrt-action-save-package-data
liveinst
dialog
resize2fs
htping
lcg-replica-manager
otr_modify
nccopy
yapp
rspec
smbldap-groupmod
wvMime
xfsrestore
xpidllex.py
avogadro
as
bf_copy-tokyocabinet
cdpause
code2html
dh-make-perl
fgetty-login2
gfan_stats
pscoast
newsrequeue
sctop-report
mailq
btee
ferret-browser
ssmpingd
we