[ubuntu/mantic-proposed] why3 1.6.0-1 (Accepted)

[Gianfranco Costamagna]

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

Date: 2023-09-08 10:43:29.517328+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/why3/1.6.0-1
-------------- next part --------------
Sorry, changesfile not available.