pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
amvault
osbf-util
easybashgui
gfal-legacy-unregister
x_over
r.in.xyz
qconf
gtkdoc-mktmpl
jack_monitor_client
apreq2-config
mpic++
ocamlopt.opt
phpdoc
setserial
sss_cache
uuname
ceph_test_cors
drbl-get-user
gfan_overintegers
ltsinfo
mysqmail-pure-ftpd-logger
jstat
foo2hiperc
html2markdown.py2
designer
simpleburn
akonadi_skroogeakonadi_resource
snmpsim-mib2dev
sxr-server
tomoyo-setlevel