pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
glewinfo
gtk-redshift
hdftopal
hercifc
pbmtoepson
arcemiestest
idiff
arb_clear_texture-simple
sems-sbc-reload-profile
scsi-rescan
newusers
b2f
apertium-tolk
atmdiag
caveconverter
seqsearch
setforward
g++-4.8
writelog
miz3e
na6
grilo-test-ui-0.2
olsrd-adhoc-setup
openteacher
osmjs
zconfig_schema2html
debugout_pbeta.txt.gz
vr.pl
Decharger
otl2docbook