pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
byobu-layout
cdmove-gfortran
dpkg-name
globus-hostname
gpgv2
groff
itweb-settings.itweb
intel_error_decode
ppmtosixel
nspr-config
opendmarc
arb_sync-repeat-wait
sediff
lsusb.py
cups-browsed
addpasswd
r.to.vect
hugin_hdrmerge
udpcli
stag-itext2sxpr
gda-test-connection-5.0
not-3.4
mprof-decoder
node-static
genmakefile
osgslice
webmail-install
tk_scsiformat
sigviewer
simplesnapwrap