pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
users
disk-image-create
euare-userlistpolicies
img2mercgrd
grib_keys
mayavi2
ld
mpirun
crm_resource
vreg_latex2html
assistant_adp
turbo_lanczos.x_mpich
turbo_davidson.x
pdftools
csearch
dino
cdbmake
trad2sim
v.split
install-info
run-init
neutron-rootwrap-xen-dom0
triggers-diff.pl
jrunscript
primeDLRS
hp2100
luajittex
OpenMSInfo
log2tsung.pl
wmfrog