pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
arm-linux-gnu-size
c++filt
euare-accountlistpolicies
fvwm-bug
iceccd
lib3ds-config
reset_pw.pyc
xmdump3
scissor-polygon
qxkb
Rprof
rpmdev-rmdevelrpms
pltotf
i586-linux-gnu-size
cucumber
notifyd
debchange
x86_64-w64-mingw32-gnatmake-posix
grabc
gravit
hxunent
njb-playlists
mandelbulber
med-dental
utf2
python3-jsonpatch
qemu-sparc-static
zrancid
in.uucpd
findnoexec