pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
objdump
dl_poly
euca-describe-volumes
fortune
mod
pamfunc
norm32
fdo23670-drawpix_stencil
hiz-depth-test-fbo-d24-s8
scissor-depth-clear
pulseaudio
tsung_stats
kermit-sshsub
cowdancer-ilistcreate
freefoam-uncoupledKinematicParcel
gcolor2
ghci-7.6.3
analyzer
ipset
unafs
qsexec
mt-st
jcmd
otrs.GenericAgent.pl
guiqwt-tests
runjsonrpc2
qmpdclient
qstat
swift-temp-url
ui-auto-shell