pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
graver
ffconfig
qhost
setkeycodes
meanbias
pnmstitch
prody-2.6
qmlplugindump
safekeep
speexdec
tomcat-tool-wrapper
pywrap
bashburn
check_postgres_pgb_pool_sv_login
dhex
feed2imap
desauto
gconf-schemas
gmerlin_recorder
gnunet-directory
grub-mkdevicemap
gxneur
zdiff
tstcpreceive
udisks2_monitor
mqmmain.cpp.gz
t25out.txt.gz
soundmodem
opensearch-genquery
usbprog-gui