pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
amq
cdiff
mkfifo
euscale-describe-policies
h5stat
lcg-cp
mcheck
pcxtoppm
tek2plot
rt-attributes-viewer
swig
finance
cgnsnames
backup-checkallused
cinnamon
dkim_responder
operon
foundry-tree
desktop-check-mime-types
gvpe
g++-4.7
jgraph
a52dec
x86_64-linux-gnu-python3m-config
wbxml2xml
rc-status
smemstat
stund
swift-account-replicator
yudit