pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

asciidoc.py wtoc cancel.cups arm-linux-gnu-cpp pgmap lsmd mpitests-IMB-IO netsed pmhostname text2html sdpscanner qcollectiongenerator-qt5 apertium-validate-dictionary arm-none-eabi-gprof objdump cbp2make colortest-256 test_rt find-url-in-rpm-md-set erl.src gnome_wave_cleaner hime-phoa2d isoqlog glyphterp obd2gpx ontv-dbus lrelease unison-latest-stable-gtk xen-bugtool xnbd-register

© loginroot.com, 2016