pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

stored euare-rolegetpolicy otfview mail-touchlock db_to_html_table arb_draw_indirect-draw-elements-prim-restart bitmath-2.7 prettify_json.rb sha3sum udevd SGrid lvote touch dglob inforesidue idl5.lut gcr-viewer gist-paste apt-get-build-depends hsetroot mkid extract_dca linaro-hwpack-create luckybackup bdgbroadcall makepp_build_cache_control pdfsam tetradraw tv_find_grabbers runzope

© loginroot.com, 2016