pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ctest
coin-config
exim_fixdb
gfal-rm
git-restore-mtime
sge_execd
jfs_debugfs
lxc-top
igrep
scotch_dgmap
x2golistsessions_root
btrfs-select-super
foundry-parse
fvwm-crystal.apps
i.cca
htntlm
llvm-config
pof4
genmakefile
osgtexture3D
qmail-local
qwbfsmanager
nsrancid
rlpq
rpld-next
shishi
spacenavd
atk6-redir6
getinstrs
xjdic_sa