pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

r.resamp.stats grib_index_build qconf pcbnew oil-bugreport blkdeactivate mpicc pbmtoptx ntfslabel pnm2ppa qdbuscpp2xml-qt5 ustr-import zarafa-fsck ceph_test_filestore_idempotent_sequence freeradius g.remove teamd mvn DifOdometry-Datasets innetgr nova-conductor ocamlify openjade1.3 plan Bonds mcv-int32 setfilecon uhub-passwd tv_sort zegrapher

© loginroot.com, 2016