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

© loginroot.com, 2016