Binaries

• libwhy3-ocaml-dev
• why3
• why3-coq
• why3-doc-html
• why3-doc-pdf
• why3-examples

Versions seen

• 1.1.1-4+b1

.buildinfo files:

• why3 (1.1.1-4)_1.1.1-4+b1_kfreebsd-i386.buildinfo
• why3 (1.1.1-4)_1.1.1-4+b1_kfreebsd-amd64.buildinfo
• why3 (1.1.1-4)_1.1.1-4+b1_mips64el.buildinfo
• why3 (1.1.1-4)_1.1.1-4+b1_armhf.buildinfo