pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
dz80
aarch64-linux-gnu-cpp
kmk_rmdir
anytopnm
pampick
yuvsplittoppm
lrelease
updatecss.sh
r2e
dmail
will_segfault
zabbix_agentd
acpitail
rip98d
kermrc
ocs-devsort
dlsdump
ircp-tray
avimake
wv2-config
llvm-extract
mdtool.exe
PosteRazor
pymecavideo
qprint
PILISModelTrainer
rename.ul
dtmfcheck
wp-setup
xymonclient-aix.sh