why 2.36-5build2 source package in Ubuntu


why (2.36-5build2) zesty; urgency=medium

  * Try rebuild again against latest OCaml.

 -- Bhavani Shankar <email address hidden>  Thu, 02 Feb 2017 11:34:20 +0530

Upload details

Uploaded by:
Bhavani Shankar on 2017-02-02
Uploaded to:
Original maintainer:
Debian OCaml Maintainers
any all
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section


File Size SHA-256 Checksum
why_2.36.orig.tar.gz 1.7 MiB 7c1dfad6a83844353dcc47aef83de79cdb358e2e27cc04271e68e8e046d329b7
why_2.36-5build2.debian.tar.xz 11.5 KiB 25f627dc3ddd1a63353cfd3a7077c869c502f3c4f3e274e5690a7cdf29f57e81
why_2.36-5build2.dsc 1.9 KiB 4f3d72555fe644bf2477f3cd5db5715c51ed4bb8201fc39ebee2604e6f44ee41

Available diffs

View changes file

Binary packages built by this source

libwhy-coq: No summary available for libwhy-coq in ubuntu artful.

No description available for libwhy-coq in ubuntu artful.

why: Software verification tool

 Why aims at being a verification conditions generator (VCG) back-end
 for other verification tools. It provides a powerful input language
 including higher-order functions, polymorphism, references, arrays and
 exceptions. It generates proof obligations for many systems: the proof
 assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the
 decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.