pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cdmove mktemp sample1d ikslint rdma_xserver mongorestore nomarch arb_draw_instanced-negative-elements-type pyrsa-verify pyjunitxml tpmnv_defindex ttf2pt1_convert vtkWrapPythonInit function_grep.pl dmxrmscreen z80-unknown-coff-ranlib parse-category reorient init-helper dpt-i2o-raideng gnunet-conversation-test ietadm mpic++.openmpi 2d-slam-demo ir_ab_names qail planetsplitter-slim rspamc snmptrapfmt olsr_clear_database

© loginroot.com, 2016