pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
as
certmaster-getcert
gnome-font-viewer
g_cluster_d
cckdswap
mlpack_nca
uic
v4l2-dbg
x2goserver-run-extensions
nsldap.so
ifnames2.64
powerpc-linux-gnu-objdump
cliofetion
dh_pypy
dms_promote_replica
dms_start_as_replica
flexml
funds9
gespeaker
jackhmmer
ikisite-wrapper
cipux_configuration
vsd2xhtml
lua5.1
update-metainit
mhn
zope-testrunner
qingy
recordio
unp