[ubuntu/groovy-proposed] why3 1.3.3-1 (Accepted)

[Gianfranco Costamagna]

why3 (1.3.3-1) unstable; urgency=medium

  * New upstream release:
    - drop patch why8.12, issue is solved by upstream
  * Alternative dependency of why3, and test dependency on cvc4: add a
    version constraint << 1.8 since cvc4 is supported only up to upstream
    version 1.7 (closes: #970510)

Date: 2020-09-24 04:38:00.149045+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/why3/1.3.3-1
-------------- next part --------------
Sorry, changesfile not available.