pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

umount.ecryptfs_private fts-set-priority cgrulesengd multirender_test llvm-cov openais-instantiate maketx pg_dump pylint pdf_object __init__.pyc strace-log-merge cu xpidl.py ykval-import blastall_old java v.reclass ihave.pl jack_midi_clock checkgroups edje_recc hb-shape nvcompress osinfo-query lldb-platform-3.4 flash_unlock foo2zjs-icc2ps dh_sphinxdoc tracker-import

© loginroot.com, 2016