pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
abrt-dump-oops
bacula-dir.sqlite
byobu-tmux
dpm-updatespace
mkroot
v.outlier
hca_self_test.ofed
ng_vol
eyuvtoppm
wicked
arb_draw_indirect-draw-arrays-instances
pbo-teximage
spline
objdump
glm
jruby
ldapdeleteuser
io.pl
audiotool
lighttpd-disable-mod
testMPEG1or2Splitter
minirok
tcptraceroute6
odfmeta
rpld-next
catalina.sh
tsung_percentile.pl
hexdraw
MKBKV2H
olsr_clear_database