Ubuntu
why package

why 2.39-2build1 source package in Ubuntu

Changelog

why (2.39-2build1) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 28 Oct 2017 16:44:41 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Bionic
Original maintainer:
Debian OCaml Maintainers
Architectures:
amd64 arm64 armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 powerpc ppc64el sparc s390x all
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe math

Downloads

File Size SHA-256 Checksum
why_2.39.orig.tar.gz 1.6 MiB 4815111efa3d31c2e209ec98346ac67dd3578fb355adf9d04ff86800a83cc159
why_2.39-2build1.debian.tar.xz 11.5 KiB fb18d2defb2bdd1e7c7b0d2d8b603319b0a44bdd6da8af02f9ac4249d6650f40
why_2.39-2build1.dsc 2.4 KiB d2b4abaa5fb810c923e120699dfbf270c05ccd74e23405f614dd18f88d087850

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