pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

as convmv setleds koji-gc gphoto2-port-config mysqlrplshow depth-clamp-status ext_framebuffer_multisample-int-draw-buffers-alpha-to-coverage pki-server generate_vdW_kernel_table.x sysreport verify-db coala ctfdump drbd-overview fop-ttfreader fte ibid-db flow6 jigdo-file dunedoxynize nfc-dep-target afs_compile_et splitkomdb pbespgsolve med-bio-dev mod_gearman_mini_epn otfdecompress od-tkdesk nirio_programmer

© loginroot.com, 2016