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: Why library for Coq

 This package contains all useful logical definitions, lemmas with their
 proofs and axioms used by Why. Users may need this package when proving
 some proof obligations in Coq.

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.