pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
as
dlm_tool
LzmaCompress
eulb-delete-lb
v.buffer
g_pme_error_d
ncat
glx-make-current-multi-process
chcat
midicopy
awrite
msp430-addr2line
mailcross
dh_usrlocal
gmerlin_imgdiff
blockmean
gxmms2
pmvarrun
list_lists
mia-2dseriessmoothgradMAD
lavinfo
nagios3stats
ijs_pxljr
soya_editor
simulavr
srf_info
eba
synccompare
configtest.sh
tomoyo-findtemp