Accepted lablgtk3 3.0~beta8-1 (source) into experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 21 Jan 2020 08:31:38 +0100 Source: lablgtk3 Architecture: source Version: 3.0~beta8-1 Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 935870 Changes: lablgtk3

Accepted coq 8.10.2-1 (source amd64) into experimental, experimental

: experimental Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order

Accepted caml-mode 4.06-1 (source all) into experimental, experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 16 Aug 2019 15:07:50 +0200 Source: caml-mode Binary: elpa-caml ocaml-mode Architecture: source all Version: 4.06-1 Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted menhir 20190626-1 (source amd64 all) into experimental, experimental

Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: libmenhir-coq - Support library for verified Coq parsers produced by Menhir libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml menhir-doc - Documentation of the Menhir

Accepted morsmall 0.2.0-1 (source) into experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 12 Mar 2019 20:52:24 +0100 Source: morsmall Architecture: source Version: 0.2.0-1 Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: morsmall (0.2.0-1

Accepted morbig 0.10.3-2 (source) into experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 11 Mar 2019 17:14:25 +0100 Source: morbig Architecture: source Version: 0.10.3-2 Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: morbig (0.10.3-2

Accepted morbig 0.10.3-1 (source) into experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 09 Mar 2019 12:08:31 +0100 Source: morbig Architecture: source Version: 0.10.3-1 Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: morbig (0.10.3-1

Accepted cudf 0.8-3 (source) into experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 05 Oct 2017 20:49:28 +0200 Source: cudf Binary: libcudf-ocaml-dev libcudf-dev cudf-tools Architecture: source Version: 0.8-3 Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf

Accepted cudf 0.8-2 (source) into experimental

) experimental; urgency=medium . [ Stefano Zacchiroli ] * debian/control: remove Build-Depends on camlp4, no longer needed . [ Ralf Treinen ] * added ocamlbuild to build-dependencies (closes: #877128) * debhelper compatibility level 10 * Standards-Version: 4.1.1 (no change) * debian

Accepted why3 0.87.3-1 (source) into experimental

OCaml Maintainers Changed-By: Ralf Treinen Description: libwhy3-ocaml-dev - OCaml librariries for why3 (dev) why3 - Software verification platform why3-coq - Coq support for the why3 verification platform why3-doc-html - HTML Documentation of the why3 verification platform why3-doc-pdf

Accepted dose3 5.0.1-5 (source) into experimental

: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether dependencies of packages can be satisfied dose-doc - Documentation

Accepted dose3 5.0~rc2-1 (source) into experimental

: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether dependencies of packages can be satisfied dose-doc

Accepted dose3 4.3-3 (source) into experimental

Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether dependencies of packages can be satisfied dose-doc - Documentation

Accepted dose3 4.3-2 (source amd64 all) into experimental, experimental

Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether dependencies of packages can be satisfied dose-doc

Accepted dose3 4.2-1 (source amd64) into experimental

Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether dependencies of packages can be satisfied dose-extra - Extra QA tools

Accepted dose3 4.1~beta1-1 (source amd64) into experimental

: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: apt-cudf - CUDF solver integration for APT dose-builddebcheck - Checks whether build-dependencies can be satisfied dose-distcheck - Checks whether dependencies of packages can be satisfied dose-extra - Extra QA