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

Gianfranco Costamagna costamagnagianfranco at yahoo.it
Mon Feb 24 08:27:18 UTC 2020


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.


More information about the Focal-changes mailing list