Publishing details

Published on 2019-02-26
Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

why3 (1.2.0-1) unstable; urgency=medium

  * New upstream version
  * Also build the library in bytecode
  * libwhy3-ocaml-dev: add Suggests:ocaml-findlib
  * Re-activate building of the ide, now using lablgtk3

 -- Ralf Treinen <email address hidden>  Fri, 15 Feb 2019 08:19:55 +0100

Available diffs

diff from 1.1.1-4 to 1.2.0-1 (336.6 KiB)

Builds

Package files

why3_1.2.0-1.debian.tar.xz (15.9 KiB)
why3_1.2.0-1.dsc (2.6 KiB)
why3_1.2.0.orig.tar.gz (5.7 MiB)