pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

BackupPC_sendEmail multiBamCov pluginviewer netgen-mesher pcc dbstats rds-ping tm_lush apmd fcitx-remote freedv gbrowse_change_passwd keytool ibam inoticoming pduclient mate-display-properties-install-systemwide mknbi-menu nabi pegjs osggeometryshaders lookat ppsctl pycardsyncer sidplayfp slonik_move_set sntop softflowd pmpost tulip_perspective

© loginroot.com, 2016