See https://www.ocamlpro.com/2016/11/21/release-of-alt-ergo-1-30-with-experimental-support-for-models-generation/ for changes in Alt-Ergo 1.30.

Changes in gappa 1.3.1:

• Add fast path for absolute error of division by the same divisor.
• Make sure that sub_flt properly fails.
• Fix signature of floatx_relative.
• Avoid overflow when computing the target exponent for rounding.
• Flatten the code a bit.
• Improve code for selecting split points.
• Do not check slow convergence when handling trees.
• Improve indentation a bit.

Changes in gappalib-coq 1.3.2:

• Prove div_firs.
• Adapt to Coq 8.6.

The frama-c and why builds are merely rebuilds due to changes in the other packages. There should be no user-visible changes.