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
Artful proposed on 2017-04-21 universe math


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 zesty.

No description available for libwhy-coq in ubuntu zesty.

why: Software verification tool for C and Java

 This package contains Krakatoa and Jessie, two front-ends of the Why3
 platform for deductive program verification. Krakatoa deals with Java
 programs annotated in a variant of the The Java Modeling
 Language. Jessie deals with C programs annotated in the ANSI/ISO C
 Specification Language (ACSL).