pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
x86_64-linux-gnu-addr2line
foomatic-compiledb
git-strip-merge
bomber
rsh
xsltproc
mstflint
mysql_waitpid
pbmtoybm
pcp_recovery_node
smp_conf_general
cweave
mktextfm
vidalia
bt-device
bbackupctl
bzmore
randomdata
convertall
trjcat
kritagemini
tax2thesaurus
templatespp
mia-3dforce
nowhere
pymvpa2-prep-fmri
MacroServer
local.rb
syrthes-post
vupdateworld