pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
objcopy
ar
burp_ca
lsdic
euare-instanceprofilecreate
festival_server_control
toast
pmstore
arb_texture_multisample-teximage-2d-multisample
reprocmd
typespeed
uml_mount
i586-linux-gnu-ld.gold
dpatch-convert-diffgz
fp-facilitator
gmobilemedia
gmock_gen
gsmpb
ipset
ladish_control
mprandomwalk
assistant
rrdinfo
umax_pp
tqs
starpkg
sra_to_solid
DBImporter
update-fonts-scale
svn-foreign