pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

base64 ia64-linux-gnu-gcc glite-lb-purge kwin_killer_helper lcg-getturls mysqlauditadmin papi_clockres ptksh texture-rg d3.x_openmpi x2gofeature arm-linux-gnueabihf-ar ceph_test_objectcacher_stress gap arm-none-eabi-g++ gnome-activity-journal xpidllex.py krdc_rfb_approver getpdftext gmod_bulk_load_gff3.pl magicfilterconfig midi2mg mono-boehm cobc jhat pegasus-analyzer process_wait setuid undertaker-busybox-tree vbmakeglm

© loginroot.com, 2016