alt-ergo (2.4.1-4) unstable; urgency=medium
 .
   * Add conditional patch for non-native architectures. (Closes: #1013362)
alt-ergo (2.4.1-3) unstable; urgency=medium
 .
   * Support cmdliner 1.1.1 using upstream patch.
alt-ergo (2.4.1-2) unstable; urgency=medium
 .
   * Team upload.
   * Ship the examples (Closes: #1011966).
alt-ergo (2.4.1-1) unstable; urgency=medium
 .
   * Team upload.
   * Fix d/watch.
   * New upstream release.
   * Adapt to new upstream build system.
   * Drop patches (obsolete).
   * Complete b-deps.
   * Add a patch to work with a recent menhir.
   * Update d/copyright.
   * Adapt to new upstream install system.

cmdliner (1.1.1-1) unstable; urgency=medium
 .
   * Team upload.
   * New upstream release.
   * Refresh patch.

frama-c (20220511-manganese-1.3) unstable; urgency=medium
 .
   * Tighten the dep on newer why3 also for autopkgtest.
frama-c (20220511-manganese-1.2) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * Tighten the dep on newer why3.
frama-c (20220511-manganese-1.1) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * Add crude dep on libppx-import-ocaml by hand (why does dh-ocaml
   fail to detect it?).
   * Add workaround for failing autopkgtest.
frama-c (20220511-manganese-1) unstable; urgency=medium
 .
   * New upstream version. This version is compatible with why3 version
     1.5.0 (closes: #1011892,#1010867).
   * Add build-dependency on
     - libppx-import-ocaml-dev
     - libppx-deriving-ocaml-dev
   * debian/copyright: drop mention of plugins that are no longer
     included in the upstream distribution:
     - coqwp
     - ergo
   * Standards-Version 4.6.1 (no change)

js-of-ocaml (4.0.0-2) unstable; urgency=medium
 .
   * Team upload.
   * Add patch for cmdliner 1.1.1 support.
   * Clean empty files.

menhir (20220210+ds-2) unstable; urgency=medium
 .
   * Prepare for upload to unstable.
menhir (20220210+ds-1) experimental; urgency=medium
 .
   * Team upload.
   * New upstream release.
   * Make sure the doc is built.

ocaml-alcotest (1.6.0-1) unstable; urgency=medium
 .
   * Team upload.
   * New upstream release.
   * Bump standards-version to 4.6.1.

why3 (1.5.0-1) unstable; urgency=medium
 .
   * New upstream version.
   * Refresh patch hardening-flags.
   * Drop patch ocamlgraph-cma, issue has been fixed upstream.
   * debian/rules: configure with option --disable-coq-libs, so that
     we are sure that coq stuff is not build.
   * Bump dependency on z3 to (<< 4.8.16).
   * Simplify test why3+z3: drop preliminary testing of z3.