pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

avahi-dnsconfd bglprof s390x-linux-gnu-strings chown dspam_merge eotinfo cc ps2epsi v.net.spanningtree hdf8to24 unicode_stop mpitests-osu_mbw_mr dnstxt pdfstamp planet-cache sems-logfile-callextract kernelshark telinit auchk gdal_trace_outline garnier freefoam-PDR fwb_pf h8300-hitachi-coff-gcc hhmake hb-shape smtpfront-qmail map-services localinfo starpu_top

© loginroot.com, 2016