pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

eric4-pluginuninstall gnusim8085 fgconsole vscclient timemaster clone_member passwd pmieconf powertop rst2html ripd ardour3 autokey-gtk bib2bib create-cciss-mapping redata gwyddion-thumbnailer hothasktags irsim lcab llvm-extract-3.4 mightyctl tnameserv pfscut qmlbundle s9soccat tunapie uim-toolbar-qt4 bb yaggo

© loginroot.com, 2016