pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
gce_gahp
efj
NSImageTest
v.select
kfilereplace
log4cpp-config-i386
tcptraceroute6
glsl-link-bug38015
pilot-addresses
scrollkeeper-get-content-list
rad
salt-cloud
tracejob
lzcat
summarise-mailbox-preserving-privacy
cvm-chain
cwirc_frontend
sievec
dictfmt_index2word
primersearch
fotoxx
pssegy
i686-w64-mingw32-gnatkr-win32
wlanctl-ng
pyntor-selfrun
qemu-sparc
reglookup
wmbutton
kissbridge
bmp