pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
alpha-linux-gnu-as
m68k-linux-gnu-strings
paste
ecryptfsd
grdview
r.digit
llvm-ranlib
ncftpget
glsl-empty-vs-no-fs
linguist-qt4
rdate
sg_reassign
dumpreg
w3mman
wvSummary
sha1sum
splitti3
mips-linux-gnu-strings
mcwarp
flashproxy-reg-url
akonadi_notes_agent
x86_64-linux-gnu-python3-dbg-config
mklibs
olwm-x-window-manager
doctrine-dbal.php
starpu_workers_activity
tightvncserver
lcf
xjed
zkCli.sh