pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ranlib
sh64-linux-gnu-size
euca-describe-snapshots
g_wheel
ibccconfig
nut-monitor
pdfedit
fbo-integer
fbo-stencil
glx-make-current
routino-router-slim
smtpping
akonadi_agent_launcher
check_postgres_txn_wraparound
foundry-parse
fsmove
gd2i
gr_modtool
r.in.ascii
PToptimizer
mafft-qinsi
i586-mingw32msvc-cc
map2rmap
qmail-showctl
sendmail
tilt_analysis
wxBTreeDemo
gbb_utility
w3af
backup