pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
intersectBed
objcopy
cube_nodeview
cvsps
eulb-configure-healthcheck
eulb-enable-zones-for-lb
flow-xlate
gnomevfs-mv
cc
kmix
tpm_selftest
xrdfs
brltty
bxcommit
overlap
dcmscale
operon
freecontact
git-pull-request
amslog
show-aligns
obexpushd
pildriver.py
qemu-system-ppcemb
unweight_fasta.py
mzpp
vb3kb
super
ttylog
xc_save