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 | 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
- diff from 2.39-2 (in Debian) to 2.39-2build1 (326 bytes)
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