pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

mn10300-linux-gnu-addr2line shred __init__.pyc rollchk ppc-koji ksvgtopng convert.pyo mpic++ mpirun.ch_gen2.args f77_f2c htmldiff salt-syndic pwconv isomarkboot ao-sky-flash rastrip drbd-overview freefoam-mixtureAdiabaticFlameT gjots2html japa jconvolver sh.shared assa-hexdump-3.5 vipsprofile nautic nvramtool spectoascii gord vlna z88v

© loginroot.com, 2016