pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bat balignsim ecryptfs-rewrap-passphrase visualinfo asvector djpeg mk-query-digest podtoc salt-minion strace-log-merge query.fcgi xsetmode bpluginfo ceph_test_rados_api_snapshots cqa-check-bugs enq_ctndisp drs_tool ganeti-kvmd wtdist gnulib-tool gtkam ifile.test-learn.message lv2bench lxc-test-device-add-remove fftns segmasker pfsstat pinto ferret-browser ucspi-proxy-log

© loginroot.com, 2016