pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
abrt-dbus
aoe-revalidate
autoupdate
btraceback
cjdroute
tail
emacs-23.1
fence_tripplite_snmp
grdtrack
mklistdoc
fsck.jfs
stunbdc
mpitests-osu_reduce
ogdi_import
ldapdelete
more
btlaunchmany.bittornado
bmf
pg2diagram.pl
dhcp-helper
dwww-cache
freefoam-bubble
udpclo
las2txt
mklogfs
mythtvfs
read_tape
ufl-analyse
test_cond
zsh4-static