pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ceph_test_rados
condor_starter
daily_cleanup.pyc
euare-servercertlistbypath
euscale-create-auto-scaling-group
glite-proxy-setup
svnversions
amplgsl.dll
pcl_pclzf2pcd
ext_framebuffer_multisample-polygon-smooth
mount.aufs
bsetbg
dhamma
git-line-summary
blockmean
goplay
grcompiler
grfid
batch_image_convert
pnmto565fb
ebegin
pkascii2img
block_device_resource
qemu-arm-static
sciteproj
tsk_gettimes
sip-date
transterm
zeitgeist-daemon
ztelnet