pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

basename cube_regioninfo eu-nm g_order gtest-config kpcli ola_e131 exrmaketiled openipmish podlint flappclient nokogiri scout.mpi fbtv amarokcollectionscanner mkcamlp5 dirvish update-distcc-symlinks ecaccess-event-delete.bat ecaccess-file-mkdir.bat faust2jaqt freefoam-applyBoundaryLayer gpiv_manipiv jeuclid-cli iceca lxsession-xdg-autostart osganimationsolid cdimage_resource maildir2mbox amk_m2-long

© loginroot.com, 2016