pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
atrm
corosync-keygen
davix-mv
ps2raster
g_wheel
znew
sgml2html
mysql-zrm-getconf
pcl_icp
dbrvstatdiff
hiz-depth-test-fbo-d24s8
virtualenv-2.6
wdmd
bel
chimeraslayer
removeSchema.py
snakeoil-on-ice
dictd
draw_lib_dependencies
krandrstartup
translate
mincinfo
buildinfo
lscp
restartd
ds9
screenkey
ppt2odp
rebind
wimslogd