pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
dig
dnsenum
hp_ud_grade
mpiexec
hiz-depth-test-window-stencil1
sslh-select
voro++
0install
MonoOfflinePlayer
dcm_dump_element
GOSA
glfer
r.li.pielou
innconfval
jmacro
lxshortcut
traceends
libwebsockets-test-server
mixvm
noindex
7zr
pcb-lesstif
add_qiime_labels.py
ratfor
filedumper
wmname
tos-bsl
um_del_service
zizler
immatch