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.pyc ranlib ceph_test_filestore_idempotent_sequence fig2pdf collisions.x kojivmd chainsaw lshw-gui openvas-nvt-sync-cron arb_color_buffer_float-readpixels ExtJoiner free rarian-sk-gen-uuid shinken-discovery bluetooth ceph_test_snap_mapper drbl-langchooser freefoam-patchIntegrate anytoucd r.terraflow camitk-cepgenerator h5toascii ssh-import-id copy_reads opensearch-discover tcpcopy schedulerinfo txt2tags wavmerge tab2d

© loginroot.com, 2016