pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bacula-tray-monitor verify_blkparse fatback dvd-ram-control epydoc grib_to_json gsissh hp-systray faxsend kross nl-qdisc-delete pointer-capture-applet pmlogconf clipfilter unit2.py taglib-extras-config tpmnv_relindex xfce4-power-manager zbarcam ruscreen gfsplot idlestat ioprofiler-trace pcl_generate trim_sff_primers.py roarvumeter razers hfind tora vflmkvf

© loginroot.com, 2016