pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

abrt-action-analyze-vmcore pktoip6 cupsfilter darkplaces-quake-sdl lprsetup.sh he kpasswd fbo-generatemipmap-cubemap lhapdf-getdata bundler sslogger alurestream amsn-remote-CLI astribank_allow dconvlum encfs jdb applygeo ktouch commons-launcher.jar ebook mwaw2text lintian-info genpeimg mp3wrap sauce selinux_check_securetty_context skyeye svn-workbench french-conjugator

© loginroot.com, 2016