Changes in coq 8.6:

• See https://coq.inria.fr/distrib/V8.6/CHANGES

Changes in why3 0.87.3:

• fixed OCaml extraction with respect to ghost parameters
• assorted bug fixes
• support for Alt-Ergo 1.30 (released Nov 21, 2016)
• support for Coq 8.6 (released Dec 8, 2016)
• support for Gappa 1.3 (released Jul 20, 2016)
• discarded support for Isabelle 2015
• support for Isabelle 2016-1 (released Dec 2016)
• support for Z3 4.5.0 (released Nov 8, 2016)

Changes in why 2.36:

• [Frama-C plugin] Compatible with release Magnesium of Frama-C
• compatibility with Why3 0.86.1 and above
• new options to directly give the Why3 command to execute on the generated intermediate Why3 code:
  • [Krakatoa] option -why3
  • [Jessie] option -why3cmd
  • [Frama-C plugin] option -jessie-why3
• [Frama-C plugin] options -jessie-timelimit, -jessie-atp discarded

All other packages are rebuilds due to the new version of coq.