pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dvigif euca-import-keypair gdm-screenshot i.smap g_dist_d fullbit.dll pcl_octree_viewer nag-create-missing-add-histories-sql rad simfqt-config debcheckout dmucs fileconvert-v1-to-v2 freefoam gjacktransport hxclean mpd-rate virt-p2v-make-kickstart s3get lpcprog maitreya7.bin mpeg2enc mricron-npm j2k_dump pegasus-tc-converter qemu-sh4eb irb jtrrouter atk6-node_query6 udp-receiver

© loginroot.com, 2016