why 2.40-4 source package in Ubuntu


why (2.40-4) unstable; urgency=medium

  * Team upload.
  * Rebuild against coq/8.9.0-1.

 -- Benjamin Barenblat <email address hidden>  Fri, 22 Feb 2019 18:04:55 -0500

Upload details

Uploaded by:
Debian OCaml Maintainers on 2019-02-23
Uploaded to:
Original maintainer:
Debian OCaml Maintainers
amd64 arm64 armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 powerpc ppc64 ppc64el sparc s390x all
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Eoan proposed on 2019-04-18 universe math


File Size SHA-256 Checksum
why_2.40-4.dsc 2.3 KiB 515863bf7ca6bfdf2cf57792f280f9a1def5421aedfcbf682ce744326a2a4d75
why_2.40.orig.tar.gz 1.4 MiB 285235960f2b4db9a40a5711a1a673611367a4106f6140d71d6ef3a7fb5d3540
why_2.40-4.debian.tar.xz 11.7 KiB b9843bbb889af2e2998a21b40b18da7c53be2dfa73f015cc307290e3b585f42f

Available diffs

No changes file available.

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

why-dbgsym: debug symbols for why