pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

apbs-uhbd_asc2bin augenrules update-ca-trust mount.fuse fvwm-perllib jpegicc 4channels irxevent mdb-hexdump mpdkilljob safe_camlp4 ipmish pmiestatus ext_framebuffer_multisample-line-smooth tetgen fmtutil 0desktop pd-gem g.access grephistory mikmatch_str nathelper.pl json.pl mp3rename psh rabbit-command runsv tao tmpreaper u3-tool

© loginroot.com, 2016