pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
whisper-aggregate
fs_mark
i.cluster
kwrite
ldapdiff
nytidy
sitepods
razor-check
scorep
spacecmd
wine64
rmedigicontrol
objcopy
clang
hbal
gnomint-upgrade-db
mktunes
grokevt-ripdll
pbmtojbg85
idevicebackup2
llvm-size
ltsp-remoteapps
run-mailcap
MonoDevelop.Projects.Formats.MSBuild.exe
musixtex
nufw
parchive
sdfget
hexkinya
zshdb