pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
easybashgui
g_gmxdump_d
h5copy
h52gif
lssubsys
nxauth
ocaml
designer-qt4
grpmorphan
scotch_gmk_ub2
silvia_issuer
imgmerge
authpasswd
doodle
funsky
git-bug
mk_angndx
gyoto
hxselect
ido2db
ksplice-undo
polarssl_rsa_encrypt
mco
Process_Win32.pm
mkfs.jffs2
mutt-patched
rmtsysd
sigma
vdb-config.2.3.5
lceb