pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ceph_streamtest
dvdisaster
exicyclog
fasd
fvwm-menu-directory
pscoupe
ht2html
suexec
analyseplugin
lldptool
munin-node-configure
imp-mailbox-decode
powwow
python2.6-preprocess
quantlib-test-suite
k2f
raxml
pdf2dcm
select-drbl-clients
eficasQt
union
ethstats
readPYBase
viewvc.cgi
x86_64-linux-gnu-gfortran
hm-todo
osinfo-db-validate
pkenhance
po_cos_naming
xorp_profiler