pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

as dlm_tool LzmaCompress eulb-delete-lb v.buffer g_pme_error_d ncat glx-make-current-multi-process chcat midicopy awrite msp430-addr2line mailcross dh_usrlocal gmerlin_imgdiff blockmean gxmms2 pmvarrun list_lists mia-2dseriessmoothgradMAD lavinfo nagios3stats ijs_pxljr soya_editor simulavr srf_info eba synccompare configtest.sh tomoyo-findtemp

© loginroot.com, 2016