pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

gce_gahp efj NSImageTest v.select kfilereplace log4cpp-config-i386 tcptraceroute6 glsl-link-bug38015 pilot-addresses scrollkeeper-get-content-list rad salt-cloud tracejob lzcat summarise-mailbox-preserving-privacy cvm-chain cwirc_frontend sievec dictfmt_index2word primersearch fotoxx pssegy i686-w64-mingw32-gnatkr-win32 wlanctl-ng pyntor-selfrun qemu-sparc reglookup wmbutton kissbridge bmp

© loginroot.com, 2016