[ubuntu/focal-proposed] why3 1.2.1-3 (Accepted)

[Gianfranco Costamagna]

why3 (1.2.1-3) unstable; urgency=medium

  [ Stéphane Glondu ]
  * Team upload
  * Fix FTBFS with menhir 20200123 (Closes: #951052)

  [ Ralf Treinen ]
  * drop cvc3 from Recommends and debian/tests as the cvc3 package has
    been removed from sid.

Date: 2020-02-10 22:42:26.343382+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/why3/1.2.1-3
-------------- next part --------------
Sorry, changesfile not available.