pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
antRun
archivemail
gittool.php
curator
dvipdf
heimdal-telnet
faxgetty
makeg
pst2ldif
vgremove
ppmrainbow
openocd
nysynopt-gfortran
ycompar-gfortran
draw-elements-base-vertex-bounds
sing
tachyon-ogl
p0f-analyzer
m68hc12-strip
calife
hypex
r.grow
r.region
xtokid
spider.sh
llvm-symbolizer
hist
mplength
.link-sml
addrinfo