pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bcfg2-report-collector
bc
indexer
isdnctrl
create_svnignore
kadmind
ykparse
arb_uniform_buffer_object-getintegeri_v
pm-hibernate
pwdx
fix-qdf
qperf
tpm_takeownership
autoradiod
ocs-langkbdconf-bterm
debian-edu-restart-services
dmitry
compseq
funimage
x86_64-w64-mingw32-gnatname-posix
gnunet-download-manager
icesh-experimental
nntpget
kabikaboo
libvirtd
occ
nose2-3.4
rotix
starpu_paje_state_stats
yhsm-linux-add-entropy