pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
2ping
avarice
dpm-qryconf
d.what.vect
hdfimport
pmnsdel
carbon-client
sg_read
cimmof
antlr3
apertium-filter-ambiguity
axi-cache
check_postgres_disabled_triggers
emowse
gmtdefaults
gitview
grokevt-builddb
gscan2pdf
create-bridge-sql.pl
pods2html
lockmail.maildrop
mrmult
pbuilder
plsense-server-work
postgrey
ryu-manager
timblserver
TextExporter
keyhead
textcomp