pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
score-linux-gnu-c++filt
freshclam
whoami
iptables-1.4.7
mk-parallel-dump
yapp
vttest
aragorn
brltty
coinst-upgrades
colrconv
sort
makesmtpaccess
cryptmount-setup
debsums_init
dmitry
ebview-client
nthseqset
showseq
ezstream
freefoam-MRFInter
glam2-purge
i686-w64-mingw32-c++-posix
hashcash
chprop
mkc_check_decl
ironic
theseus_align
tilecache_seed
trash