pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bipmkpw dt-getname sh-linux-gnu-cpp v.surf.bspline cbq smidiff checksctp loggerhead.wsgi mpitests-osu_gatherv pnmpsnr fxt1-teximage glsl-1.50-gs-mismatch-prim-type AuditVerify windmill_bin.pyo urxvtd shpdump traffic_layout rds-ctl apop_plot_query bbackupquery summer dcmpschk debconf-escape gcc-ranlib-4.9 d.extend brsscla mapserv memlockd otfaux qjackrcd

© loginroot.com, 2016