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

Gianfranco Costamagna costamagnagianfranco at yahoo.it
Tue Sep 15 08:21:33 UTC 2020


why3 (1.3.2-1) unstable; urgency=medium

  * New upstream release.
  * Add patch coq8.12: support coq versions 8.11.* and 8.12.*
    (thanks to Guillaume Melquiond)
  * Test why3+coq: send warning to stderr
  * Replace embedded sphinx javascript libraries by symlinks,
    and add dependency on libjs-sphinxdoc to package why3-doc-html.
  * debian/control: update architecture of the why3-coq package, and
    architecture strings in build-dependencies on coq stuff.

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


More information about the Groovy-changes mailing list