pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
amservice
bcfg2
chronyc
elk-spacegroup
euca-cancel-bundle-task
flow-export
pscoupe
kshell
papi_native_avail
sqlrw
glsl-vs-statechange-1
CMCResponse
smp_rep_route_info
scrub-files
websec
xrefresh
blaze
git-merge-changelog
json2yaml
perlsh
forwedit
process_wait
pg_recvlogical
palinear
pure-ftpd-wrapper
loofah-rebuild
pyscript
f1tattoo
designer
srsc