pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

as dfbtest_window ferm r.out.gridatb h5redeploy mlpack_fastmks loaderinfo pbmtopk plipconfig pos-array pilot-install-netsync plpa-taskset lrelease balooctl cassiopeeknife avg_adm directoryassistant drbl-functions dvdtape i.pca mdrun_d nbibtex vcard2pal photoprint txaws-get-bucket qwavfade saint-int-ctrl scmp_sys_resolver syrthes4_create_case version.sh

© loginroot.com, 2016