pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ppi btrfs-map-logical radosgw-admin ceph_test_timers eric4-webbrowser hitch mpitests-IMB-EXT fitstopnm snmpusm ocamlc.opt otf2-print p11-kit googlecode_upload.py bloom-release kwalify wbinfo dvitodvi address6 astdb2sqlite3 drawterm freefoam-dieselEngine gfortran-4.8 d.histogram d.text cpio XInclude nnpost odt2txt.odt2txt tscrypt celeryd_detach.py

© loginroot.com, 2016