pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

apcupsd avrdude ld.bfd objdump x86_64-linux-gnu-strip btreplay ck-launch-session filter-langcover ttx nop index_dump vgimport mk-show-grants pccardctl importexport_binary.x radstatus sinjdoc smssend tcpbridge cleancss select-default-ispell wordmatch trace_context kalign pof3 orte-restart otrs.CheckDB.pl Shape_PointInPoly xymonfetch zoo

© loginroot.com, 2016