pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ar g_sigeps_d jpegoptim probe pamcut array-depth-roundtrip fbo-3d mkbitmap fd_ifc.x sems dvipos tpm_setclearable setfacl ayttm_streamer_wrapper .htaccess objccoll.o ges-launch-1.0 ansi2txt laborejo-qt datum_strip nmz-config lookup.pl.gz getmesh otrs.CryptPassword.pl newhelp podebconf-display-po loganalyzer.php wfst_run pw.pl ttyplay

© loginroot.com, 2016