pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

boinc_client make_strings g_analyze_d gvfs-cat gvfs-less dc1394_ladybug pcl_train_linemod_template pstree.x11 qtconfig update.sh searchd trace-graph arora-placesimport bldsubmit send_study dh_install fb gcj-4.9 jigdo-gen-md5-list kgeography nfc-anticol mobyle-setsid mysql-workbench oaradmissionrules osgwidgetaddremove pcl_openni_klt filter_distance_matrix.py vdb-lock.2.3.5 maphimbu subtle

© loginroot.com, 2016