[ubuntu/questing-proposed] why3 1.8.1-1 (Accepted)

[Matthias Klose]

why3 (1.8.1-1) unstable; urgency=medium

  * Team upload
  * New upstream release (Closes: #1098092)

Date: 2025-09-12 16:57:50.316727+00:00
Signed-By: Matthias Klose <m1 at klose.in-berlin.de>
https://launchpad.net/ubuntu/+source/why3/1.8.1-1
-------------- next part --------------
Sorry, changesfile not available.