pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
runant.py
newaliases.exim
h52gif
cleanlinks
gif2tiff
strip-json-comments
ocaml-bdump
camlp4r
voms-server.pl
bf-level-editor
pwhois
gvimdiff
aerect
bp_translate_seq
fcitx-diagnose
ffado-test-isoxmit
freefoam-pimpleDyM
hunt
nash
imapfront-auth
mplayerthumbsconfig
mpcchap
pt-table-checksum
postfix-add-filter
literati
create_db.Sybase
tau_throttle
pdfannotextractor
findhost.cgi
zleave