pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
s390x-linux-gnu-gprof
davix-ls
VolInfo
euare-getldapsyncstatus
fedfs-delete-replication
ftop
captoinfo
mipmap-setup
proofserv
tiki2po
ajaxterm
cctiff
comicthumb
acdcheck
yank
diameterc
git-debimport
gps2udp
jtreg
knews
poldi-ctrl
matho-mult
metamonger
mruby
zpipe
planetsplitter-slim
amk_m2-long
sim_lisp
zff2gff3.pl
xfce4-popup-places