pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

normalform byobu-disable-prompt diff ebzip htcacheclean lrztar list_lists matchbox-window-manager rawtoppm caterm clang++ split coqchk dv4lstart strainextract freefoam-attachMesh freefoam-redistributeMeshPar gendarme gnupod_convert_RIFF gst-profile gpiv_manipiv pbmtojbg85 klatexformula mountpy.py via-diag pg_comparator ps-watcher syrthes.profile tgd uwsgi_python34

© loginroot.com, 2016