pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

speaker-test condor_c-gahp_worker_thread flite update-gdk-pixbuf-loaders hp_alice_test updateinfoxml2solv pmquery umap cleandb.sh a+ awsetbg install-docs kdb-full fastx_trimmer fet cdbmake gadmin-openvpn-client gnuplot5-x11 ipropd-slave condor_credd gksu-properties myloader obdlogrepair kprobe php-parse.php htrancid resample science-linguistics sfood-flatten tabbed.default

© loginroot.com, 2016