gwhy-bin

Software verification tool

  • Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  • Homepage: http://krakatoa.lri.fr/
  • Section: math
Debian Debian
RUN apt-get update && \ apt-get install -y why
Ubuntu
RUN apt-get update && \ apt-get install -y why
image/svg+xml Kali Linux
RUN apt-get update && \ apt-get install -y why
Fedora
RUN dnf install -y why
Raspbian
RUN apt-get update && \ apt-get install -y why
click the source code to copy install gwhy-bin on any operating system with command-not-found.com