pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
alpha-linux-gnu-c++filt
v.surf.rst
v.univar
list_lists
munged
mpirun_dbg.dbx
neotoppm
pamtopnm
arb_seamless_cubemap
masked-clear
qodem
linguist
rt-email-dashboards
Affiche
adt-buildvm-ubuntu-cloud
sfetch
cd-circleprint
cgrep
empathy-debugger
freefoam-interDyM
fmfconv
kadu
ktp-contactlist
mia-3dfuzzysegment
neutron-nec-agent
slurm
swift-container-updater
latex2gif
xsdvalidate
zstreamdump