pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
sh-linux-gnu-ar
fastasoftmask
powerpc64-linux-gnu-cpp
g_sgangle_d
guilt-patchbomb
konqueror
kmmatch
mpdtrace.py
ntfscat
pmeth
pltcl_delmod
adlint_cma
blastpgp
cdfstdevw
install-keymap
sethost
rmt-dump
install.sh
x86_64-linux-gnu-gcc-4.9
gnome-nettool
ibid-memgraph
opj_jpip_addxml
p10cfgd
pmlock
perroquet
identify_missing_files.py
stm32flash
devdiscover
unhtml
wmanager