pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

alpha-linux-gnu-c++filt v.surf.rst v.univar list_lists munged mpirun_dbg.dbx neotoppm pamtopnm arb_seamless_cubemap masked-clear qodem linguist rt-email-dashboards Affiche adt-buildvm-ubuntu-cloud sfetch cd-circleprint cgrep empathy-debugger freefoam-interDyM fmfconv kadu ktp-contactlist mia-3dfuzzysegment neutron-nec-agent slurm swift-container-updater latex2gif xsdvalidate zstreamdump

© loginroot.com, 2016