pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

audiofile-config autoheader c6x-linux-gnu-ar euca-bundle-instance lstopo ibccconfig zlib1.dll strip-ansi ola_plugin_state p11-kit pcl_obj_rec_ransac_hash_table pcl_obj_rec_ransac_orr_octree_zprojection ipcount turbo_eels.x_mpich sing unison-text-2.40 xlogo cdfheatc drbl-ocs kdb germinate-pkg-diff json-glib-validate docfdisk packf pdftocairo hachoir-wx matchers.py bam-load.2 udo yabause-gtk

© loginroot.com, 2016