pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

resize-part-image dpmcopyd euca-delete-customer-gateway cc iptraf ntfstruncate arb_texture_buffer_object-data-sync moggsplit rdrand-gen xrandr powerpc-linux-gnu-gprof bp_process_wormbase check_postgres_commitratio gcc-ar globus-fork-starter renamer lcrack_mkword libwebsockets-test-ping testH265VideoToTransportStream hist mlbplay.py filter_tracks pal pork sdlBrt synopsis twolame ndsend WrapperFactory vmwarectrl

© loginroot.com, 2016