Publishing details

Published on 2023-09-08

Changelog

why3 (1.6.0-1) unstable; urgency=medium

  * Team upload
  * New upstream release
  * Depend on ocaml instead of transitional ocaml-nox
  * Bump Standard-Version to 4.6.2

 -- Stéphane Glondu <email address hidden>  Fri, 08 Sep 2023 07:09:51 +0200

Available diffs

diff from 1.5.1-1build6 (in Ubuntu) to 1.6.0-1 (1.3 MiB)

Builds

Package files

why3_1.6.0-1.debian.tar.xz (17.9 KiB)
why3_1.6.0-1.dsc (2.4 KiB)
why3_1.6.0.orig.tar.gz (6.5 MiB)