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.