pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ld.bfd
dirac_RGBtoYUV444
soelim
mysqlbug
sqlt-diagram
kronolith-convert-datatree-shares-to-sql
fixdlsrps
virtualenvwrapper.sh
autossh-argv0
eppfpga
chado-build-schema.pl
freefoam-Co
gauche-install
pd-gem
ges-launch-0.10
zart
grokevt-dumpmsgs
policyeditor
mathmlviewer
h5pcc.mpich
mia-3dtransform
mpswap
ovs-pki
osgearth_tfs
owish
schema2ldif
mason
arara
texstudio
delete_spam