pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bannergrab
bglprof
bltk_calc
cube-config
ekiga
hostapd_cli
mysql_fix_privilege_tables
idt
pamstereogram
pmdbg
wakeup-latency-report
cdffixtime
dbfsd
grep-aptavail
gfxboot-font
git-delete-branch
gcc-4.2
kdc2jpeg
dzil
lpsconfcheck
original
afs-up
osganalysis
ploop
jwt3
qemu-sparc32plus-static
taud
pscal
bgp_xrl_shell_funcs.sh
xtermset