pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
lib
points
h5pcc
pnmtops
pmmgr
ext_framebuffer_multisample-clear
pilot-install-memo
radio
Pager
msp430-gprof
calcurse-upgrade
calibre
pop3d-ssl
dcm_x_disp
debsums
ssematch
gpiv
hoogle
jkmeter
plasma-remote-helper
l2tpns
dk_make_protocol
elixir-compose
fodtrack
mumble-server-cli
loofah-update
collectiongain
qemu-m68k
bearing
wiipdf