pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
dirac_YUV422toUYVY
nsinit
d.histogram
kni_burnintest
process_stats
mono-xmltool
rwtop-record
gaim
ext_framebuffer_multisample-renderbuffer-samples
tex-srgb
xmlpatterns
sdcc-sdcclib
tesseract
vsftpd
asistant
arm-linux-gnueabihf-ranlib
objcopy
dh_ocamlclean
stretcher
g15composer
garchive
gfs2_jadd
db.connect
ltpretty
vss2raw
mrancid
mord-long
ui-auto-release
delhead
yash