pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
BPDG
fence_cisco_ucs
guilt-files
zegrep
mined
nnalg
pamarith
mount.ntfs-fuse
hiz-stencil-read-fbo-d0-s8
po4a-updatepo
mf-nowin
freq
ctnnetwork
dbus-send
grep-aptavail
dh_installinit
learnkeys
lpdomatic
gems-client
gnunet-vpn
kadmin.heimdal
sortm
util.py
osgprerender
test_augmentation.R
ra-retrieve
gmk_m3-long
sb_chkopts
ics-to-rss
weborf