pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
streamplayer
mount.glusterfs
guilt-init
makealias
setcap
mpiexec
ntpdate
scp
po4apod-display-po
repoview
smurf6
varnetload
adactl
cgminer-api
update-debian-edu-artwork-spacefun
getbuildlog
gatling-bench
nc2xy
indi_v4l_legacy
jbgtopbm
stag-splitter
pn53x-diagnose
llvm-as
itango3
nose2
twill-fork
txaws-create-bucket
amk_grf-int64
swami
tomoyo-savepolicy