pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ldap2zone h8300-linux-gnu-c++filt openrisc-linux-gnu-gprof qdiskd dislocate flow-import faxwatch readpst arb_texture_multisample-sample-mask ext_framebuffer_multisample-minmax pyrasite-shell qdbuscpp2xml mpstat 0install ae_diff2htm dbxflat fuzztran h2pas-2.6.4 arm-none-eabi-run hledger-interest testMPEG4VideoStreamer lutefisk minvoke mrtg-sensors apt pyFAI-waxs passenger-status sauce9-convert sflphone-client-kde slonik_drop_set

© loginroot.com, 2016