pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ar
mn10300-linux-gnu-addr2line
seq
db_dump
dvipdf
intel_l3_parity
paw++.dynamic
ib_write_bw_postlist
pscp
RBabelfishService.py
squidclient
chsh
yacc.py
apertium-validate-interchunk
col5
codeaster-gui
elki-cli
fbstat
opj_jpip_addxml
loki
servertool
dnainvar
qmail-pw2u
recinf
ree
mlcat
http@
wmtemp
wordnet
tv_grab_uk_rt