pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ranlib ceph-coverage paste eulb-describe-lb-policies fedfs-null hdiff mysql-zrm-reporter nrsysmond-config mapiprofile arb_texture_multisample-errors arb_texture_view-rendering-target epsffit rst2odt_prepstyles qmlmin-qt5 scotch_gmk_m2 scotch_mcv hoststat makealiases freeplane mailagent.decnet.pl mia-3dfield2norm sftp-admin iscsid groupware-install pyuic5 mp_plot compare_alpha_diversity.py stpm-exfiltrate depythontex3 varmon

© loginroot.com, 2016