pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

generate_modules.pyo hltest gml2gv soffice mercurial-convert-repo nag-convert-sql-shares-to-sqlng fd_ef.x_mpich textools xliff2oo packetforge-ng bsf dcm_create_object x86_64-linux-gnu-gcc-ranlib gnomecatalog gtkguitune indi_gpusb poweroff getpdfpageobject uic makepplog mprandomwalk i686-w64-mingw32-ocamlrun iasecc-tool pads-report phylip make_otu_table.py hlogin sndfile-spectrogram dfg2ascii spectgen

© loginroot.com, 2016