pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
pico
bakefile_gen
cache_dump
ssl_esock
man0p
gfal-cat
gmt_shell_functions.sh
lfc-getacl
ibv_xsrq_pingpong
fbo-blit-stretch
glsl-max-varyings
prwd
cifsdd
dbfdump
wslid
yacc
ao-edit-telem
integer.o
standalone.py
v.out.ogr
clearcache.sh
hcc
gdbdump
gensample
partclone.restore
relion_particle_sort
shellinaboxd
standalone.py
wmifs
xplanet