Changes in alt-ergo:

• Filter out Requires that we do not Provide

Changes in coq:

• We used a preliminary upstream patch for ocaml 4.10 support in the previous build. Upstream ultimately chose a different approach, so this build uses the presumed final ocaml 4.10 patch.

Changes in flocq 3.2.1 and gappalib-coq 1.4.3:

• Add compatibility with coq 8.11.0

Changes in frama-c:

• Fix a variety of problems that made frama-c fail to start

Changes in ocaml-zip:

• See https://github.com/xavierleroy/camlzip/releases for a list of changes since version 1.06. The primary motivation for this update is the introduction of zip.cmxs, which frama-c needs.

Changes in why3:

• Make the dependencies on ocaml-num and ocaml-zip explicit

The ocaml-dose3, ocaml-ocamlnet, and opam builds are simple rebuilds due to the other changes.