pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
m68k-linux-gnu-objdump
s390x-linux-gnu-objdump
sh-linux-gnu-objcopy
euca-delete-route-table
proxytrack
routeB.sh
mpispawn
ntfsmftalloc
gl-2.0-edgeflag-immediate
lamson
razip
glxspheres
webdiff
setupcon
di
FreeFem++-mpi
msp430-gdb
gwyddion
pherkin
logjam
matchbox-desktop
mapnik-render
tilelive-copy
nyancat-server
olvwm
docbook-2-fot
ruby-spork
glminfo
wmxres
zoem