Accepted coq 8.9.1-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 27 Jan 2020 03:29:33 +0100 Source: coq Architecture: source Version: 8.9.1-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: coq (8.9.1-4) unstable; urgency

Accepted coq 8.9.1-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 24 Jan 2020 21:58:35 +0100 Source: coq Architecture: source Version: 8.9.1-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 920589 946580 Changes: coq (8.9.1-3

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 ocamlmakefile 6.39.2-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 10 Dec 2019 20:45:41 +0100 Source: ocamlmakefile Architecture: source Version: 6.39.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: ocamlmakefile (6.39.2-1

Accepted tuareg-mode 1:2.1.0-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 06 Dec 2019 21:27:01 +0100 Source: tuareg-mode Architecture: source Version: 1:2.1.0-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: tuareg-mode (1:2.1.0-4

Accepted ssreflect 1.10.0+dfsg-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 05 Dec 2019 23:06:05 +0100 Source: ssreflect Architecture: source Version: 1.10.0+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: ssreflect (1.10.0+dfsg-1

Accepted camlpdf 2.3-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 13 Nov 2019 20:56:45 +0100 Source: camlpdf Architecture: source Version: 2.3-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: camlpdf (2.3-2) unstable; urgency

Accepted camlpdf 2.3-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 12 Nov 2019 21:37:48 +0100 Source: camlpdf Architecture: source Version: 2.3-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 944276 Changes: camlpdf (2.3-1

Accepted spamoracle 1.6-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 11 Nov 2019 16:10:22 +0100 Source: spamoracle Architecture: source Version: 1.6-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 944235 Changes: spamoracle (1.6

Accepted tuareg-mode 1:2.1.0-3 (source all) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 10 Nov 2019 19:53:23 +0100 Source: tuareg-mode Binary: elpa-tuareg tuareg-mode Architecture: source all Version: 1:2.1.0-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted morsmall 0.3.0-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 09 Nov 2019 00:11:00 +0100 Source: morsmall Architecture: source Version: 0.3.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: morsmall (0.3.0-1) unstable

Accepted morbig 0.10.4-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 09 Nov 2019 07:03:08 +0100 Source: morbig Architecture: source Version: 0.10.4-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: morbig (0.10.4-2) unstable

Accepted morbig 0.10.4-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 08 Nov 2019 23:44:46 +0100 Source: morbig Architecture: source Version: 0.10.4-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: morbig (0.10.4-1) unstable

Accepted camlzip 1.09-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 07 Nov 2019 22:27:13 +0100 Source: camlzip Architecture: source Version: 1.09-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 944280 Changes: camlzip (1.09-2

Accepted hevea 2.32-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 07 Nov 2019 08:53:19 +0100 Source: hevea Architecture: source Version: 2.32-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: hevea (2.32-3) unstable; urgency

Accepted caml-mode 4.06-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 07 Nov 2019 08:10:28 +0100 Source: caml-mode Architecture: source Version: 4.06-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 920229 Changes: caml-mode (4.06

Accepted why3 1.2.1-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 03 Nov 2019 22:02:08 +0100 Source: why3 Architecture: source Version: 1.2.1-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: why3 (1.2.1-2) unstable; urgency

Accepted menhir 20190924-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 02 Nov 2019 11:51:19 +0100 Source: menhir Architecture: source Version: 20190924-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: menhir (20190924-1) unstable

Accepted camlzip 1.09-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 01 Nov 2019 21:58:13 +0100 Source: camlzip Architecture: source Version: 1.09-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: camlzip (1.09-1) unstable

Accepted why3 1.2.1-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 28 Oct 2019 18:48:39 +0100 Source: why3 Architecture: source Version: 1.2.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: why3 (1.2.1-1) unstable; urgency

Accepted why3 1.2.0-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 15 Oct 2019 20:42:34 +0200 Source: why3 Architecture: source Version: 1.2.0-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 942344 Changes: why3 (1.2.0-3

Accepted bibtex2html 1.99-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 13 Oct 2019 12:14:52 +0200 Source: bibtex2html Architecture: source Version: 1.99-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 921278 921593 Changes

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 why3 1.2.0-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 29 Aug 2019 21:23:49 +0200 Source: why3 Architecture: source Version: 1.2.0-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: why3 (1.2.0-2) unstable; urgency

Accepted lablgtk3 3.0~beta6-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 26 Aug 2019 09:44:41 +0200 Source: lablgtk3 Architecture: source Version: 3.0~beta6-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 935611 Changes: lablgtk3

Accepted menhir 20190626-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 21 Aug 2019 20:44:35 +0200 Source: menhir Architecture: source Version: 20190626-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: menhir (20190626-5) unstable

Accepted menhir 20190626-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 21 Aug 2019 20:17:35 +0200 Source: menhir Architecture: source Version: 20190626-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: menhir (20190626-4) unstable

Accepted ssreflect 1.9.0+dfsg-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 20 Aug 2019 09:47:51 +0200 Source: ssreflect Architecture: source Version: 1.9.0+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: ssreflect (1.9.0+dfsg-1

Accepted lablgtk3 3.0~beta6-1 (source amd64 all) into unstable, unstable

: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: liblablgtk3-ocaml - OCaml bindings to Gtk+ version 3 (runtime) liblablgtk3-ocaml-dev - OCaml bindings to Gtk+ version 3 (development files) liblablgtk3-ocaml-doc - OCaml bindings to Gtk+ version 3 (documentation

Accepted ocaml-cairo2 0.6.1+dfsg-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 12 Aug 2019 23:06:47 +0200 Source: ocaml-cairo2 Architecture: source Version: 0.6.1+dfsg-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: ocaml-cairo2 (0.6.1

Accepted ocaml-cairo2 0.6.1+dfsg-1 (source amd64) into unstable, unstable

libcairo2-ocaml-dev-dbgsym libcairo2-pango-ocaml libcairo2-pango-ocaml-dbgsym libcairo2-pango-ocaml-dev libcairo2-pango-ocaml-dev-dbgsym Architecture: source amd64 Version: 0.6.1+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description

Accepted cudf 0.7-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 27 Jul 2019 10:33:10 -0300 Source: cudf Architecture: source Version: 0.7-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: cudf (0.7-5) unstable; urgency=medium

Accepted cudf 0.7-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 26 Jul 2019 16:18:27 -0300 Source: cudf Architecture: source Version: 0.7-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: cudf (0.7-4) unstable; urgency=medium

Accepted menhir 20190626-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 25 Jul 2019 15:57:50 -0300 Source: menhir Architecture: source Version: 20190626-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: menhir (20190626-3) unstable

Accepted menhir 20190626-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 24 Jul 2019 20:26:11 -0300 Source: menhir Architecture: source Version: 20190626-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: menhir (20190626-2) unstable

Accepted ocamldsort 0.16.0-6 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 22 Jul 2019 18:10:49 -0300 Source: ocamldsort Architecture: source Version: 0.16.0-6 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: ocamldsort (0.16.0-6

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 headache 1.03-28 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 21 Jul 2019 15:19:42 -0300 Source: headache Architecture: source Version: 1.03-28 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: headache (1.03-28) unstable

Accepted mona 1.4-17-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 18 Jul 2019 17:44:52 +0200 Source: mona Architecture: source Version: 1.4-17-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Ralf Treinen Changes: mona (1.4-17-2) unstable

Accepted ocaml-visitors 20190711-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 17 Jul 2019 22:52:52 +0200 Source: ocaml-visitors Architecture: source Version: 20190711-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: ocaml-visitors

Accepted camlzip 1.08-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 17 Jul 2019 21:02:48 +0200 Source: camlzip Architecture: source Version: 1.08-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: camlzip (1.08-1) unstable

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 ocaml-visitors 20180513-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 18 Feb 2019 20:38:44 +0100 Source: ocaml-visitors Architecture: source Version: 20180513-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: ocaml-visitors

Accepted ssreflect 1.7.0+dfsg-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 16 Feb 2019 20:06:49 +0100 Source: ssreflect Architecture: source Version: 1.7.0+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 919461 Changes: ssreflect

Accepted why3 1.2.0-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 15 Feb 2019 08:19:55 +0100 Source: why3 Architecture: source Version: 1.2.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: why3 (1.2.0-1) unstable; urgency

Accepted alt-ergo 2.0.0-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 14 Feb 2019 04:21:22 +0100 Source: alt-ergo Architecture: source Version: 2.0.0-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: alt-ergo (2.0.0-3) unstable

Accepted alt-ergo 2.0.0-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 13 Feb 2019 22:40:56 +0100 Source: alt-ergo Architecture: source Version: 2.0.0-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: alt-ergo (2.0.0-2) unstable

Accepted alt-ergo 2.0.0-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 13 Feb 2019 21:02:29 +0100 Source: alt-ergo Architecture: source Version: 2.0.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: alt-ergo (2.0.0-1) unstable

Accepted ocamlweb 1.41-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 11 Feb 2019 19:17:43 +0100 Source: ocamlweb Architecture: source Version: 1.41-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: ocamlweb (1.41-1) unstable

Accepted why3 1.1.1-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 06 Feb 2019 20:57:54 +0100 Source: why3 Architecture: source Version: 1.1.1-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 921465 Changes: why3 (1.1.1-4

Accepted morsmall 0.1-1 (source amd64) into unstable, unstable

Changed-By: Ralf Treinen Description: libmorsmall-ocaml-dev - OCaml libraries for abstract syntax of shell scripts Closes: 920362 Changes: morsmall (0.1-1) unstable; urgency=medium . * Initial packaging (closes: #920362) Checksums-Sha1: 21265f30f22fed588a24f53a7c039666428abf22 2110 morsmall_0.1

Accepted why3 1.1.1-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 03 Feb 2019 23:01:38 +0100 Source: why3 Architecture: source Version: 1.1.1-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: why3 (1.1.1-3) unstable; urgency

Accepted dose3 5.0.1-12 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 29 Jan 2019 07:48:17 +0100 Source: dose3 Architecture: source Version: 5.0.1-12 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: dose3 (5.0.1-12) unstable

Accepted advi 1.10.2-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 25 Jan 2019 08:09:34 +0100 Source: advi Binary: advi advi-examples Architecture: source Version: 1.10.2-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description

Accepted why3 1.1.1-2 (source) into unstable

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 - PDF

Accepted morbig 0.9.1-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 09 Jan 2019 17:55:13 +0100 Source: morbig Binary: libmorbig-ocaml-dev morbig Architecture: source Version: 0.9.1-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted bin-prot 113.33.03-4 (source) into unstable

: Ralf Treinen Description: libbin-prot-ocaml - type-safe binary serialization for OCaml values (runtime) libbin-prot-ocaml-dev - type-safe binary serialization for OCaml values (dev files) Changes: bin-prot (113.33.03-4) unstable; urgency=medium . * Team upload * Replace build-dependency

Accepted ocaml-visitors 20180306-4 (source) into unstable

Changed-By: Ralf Treinen Description: libppx-visitors-ocaml-dev - OCaml syntax extension for object-oriented visitors libppx-visitors-ocaml-doc - Documentation of the visitors syntax extension for OCaml Changes: ocaml-visitors (20180306-4) unstable; urgency=medium . * Standards-Version

Accepted ppx-deriving-yojson 3.1-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 08 Jan 2019 19:55:38 +0100 Source: ppx-deriving-yojson Binary: libppx-deriving-yojson-ocaml-dev Architecture: source Version: 3.1-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf

Accepted ppx-deriving 4.2.1-3 (source) into unstable

-By: Ralf Treinen Description: libppx-deriving-ocaml - type-driven code generation for OCaml (runtime files) libppx-deriving-ocaml-dev - type-driven code generation for OCaml (dev files) Changes: ppx-deriving (4.2.1-3) unstable; urgency=medium . * Standards-version 4.3.0 (no change

Accepted aspcud 1:1.9.4-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 25 Dec 2018 18:44:23 +0100 Source: aspcud Binary: aspcud Architecture: source Version: 1:1.9.4-2 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen Changed-By: Ralf Treinen Description: aspcud - CUDF solver

Accepted lablgtk3 3.0~beta3-1 (source amd64 all) into unstable, unstable

Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: liblablgtk3-ocaml - runtime libraries for OCaml bindings for GTK+ version 3 liblablgtk3-ocaml-dev - OCaml bindings to Gtk+ version 3 liblablgtk3-ocaml-doc - OCaml bindings to Gtk

Accepted xdemineur 2.1.1-20 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 24 Dec 2018 16:17:57 +0100 Source: xdemineur Binary: xdemineur Architecture: source Version: 2.1.1-20 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen Changed-By: Ralf Treinen Description: xdemineur - Yet

Accepted why3 1.1.1-1 (source) into unstable

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 - PDF

Accepted ocamlweb 1.40-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 13 Dec 2018 23:08:58 +0100 Source: ocamlweb Binary: ocamlweb Architecture: source Version: 1.40-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: ocamlweb

Accepted ocamlwc 0.3-15 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 12 Dec 2018 08:34:11 +0100 Source: ocamlwc Binary: ocamlwc Architecture: source Version: 0.3-15 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: ocamlwc

Accepted hlins 0.39-24 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 11 Dec 2018 21:23:59 +0100 Source: hlins Binary: hlins Architecture: source Version: 0.39-24 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: hlins

Accepted hevea 2.32-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 05 Dec 2018 20:10:40 +0100 Source: hevea Binary: hevea Architecture: source Version: 2.32-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: hevea

Accepted bibtex2html 1.99-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 04 Dec 2018 09:09:09 +0100 Source: bibtex2html Binary: bibtex2html Architecture: source Version: 1.99-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description

Accepted morbig 0.9.1-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 02 Dec 2018 21:30:09 +0100 Source: morbig Binary: libmorbig-ocaml-dev morbig Architecture: source Version: 0.9.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted morbig 0.9-1 (source amd64) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 09 Sep 2018 21:23:17 +0200 Source: morbig Binary: libmorbig-ocaml-dev morbig Architecture: source amd64 Version: 0.9-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted menhir 20181113-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 14 Nov 2018 22:14:32 +0100 Source: menhir Binary: menhir libmenhir-ocaml-dev menhir-doc Architecture: source Version: 20181113-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf

Accepted alt-ergo 1.30+dfsg1-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 13 Nov 2018 20:43:44 +0100 Source: alt-ergo Binary: alt-ergo Architecture: source Version: 1.30+dfsg1-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: alt

Accepted why3 1.1.0-1 (source) into unstable

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 - PDF

Accepted opam 2.0.0-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 20 Oct 2018 12:16:56 +0200 Source: opam Binary: opam opam-docs opam-installer Architecture: source Version: 2.0.0-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted tuareg-mode 1:2.1.0-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 15 Aug 2018 18:22:37 +0200 Source: tuareg-mode Binary: tuareg-mode Architecture: source Version: 1:2.1.0-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description

Accepted mccs 1:1.1-8 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 14 Aug 2018 20:32:33 +0200 Source: mccs Binary: mccs Architecture: source Version: 1:1.1-8 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen Changed-By: Ralf Treinen Description: mccs - multi-critera

Accepted why3 1.0.0-2 (source) into unstable

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 - PDF

Accepted hevea-doc 2.32-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 08 Aug 2018 17:00:49 +0200 Source: hevea-doc Binary: hevea-doc Architecture: source all Version: 2.32-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: hevea

Accepted hevea 2.32-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 08 Aug 2018 15:47:17 +0200 Source: hevea Binary: hevea Architecture: source Version: 2.32-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: hevea

Accepted menhir 20180530-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 19 Jul 2018 22:19:24 +0200 Source: menhir Binary: menhir libmenhir-ocaml-dev menhir-doc Architecture: source Version: 20180530-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf

Accepted ppx-deriving-yojson 3.1-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 12 Jul 2018 19:30:59 +0200 Source: ppx-deriving-yojson Binary: libppx-deriving-yojson-ocaml-dev Architecture: source Version: 3.1-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf

Accepted ppx-deriving-yojson 3.1-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 11 Jul 2018 20:49:09 +0200 Source: ppx-deriving-yojson Binary: libppx-deriving-yojson-ocaml-dev Architecture: source Version: 3.1-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf

Accepted ocaml-visitors 20180306-3 (source) into unstable

Changed-By: Ralf Treinen Description: libppx-visitors-ocaml-dev - OCaml syntax extension for object-oriented visitors libppx-visitors-ocaml-doc - Documentation of the visitors syntax extension for OCaml Changes: ocaml-visitors (20180306-3) unstable; urgency=medium . * autopkgtest: depends

Accepted ppx-derivers 1.2-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 10 Jul 2018 19:29:49 +0200 Source: ppx-derivers Binary: libppx-derivers-ocaml-dev Architecture: source Version: 1.2-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted ppx-derivers 1.2-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 10 Jul 2018 08:59:24 +0200 Source: ppx-derivers Binary: libppx-derivers-ocaml-dev Architecture: source Version: 1.2-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted ppx-derivers 1.2-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 09 Jul 2018 23:25:55 +0200 Source: ppx-derivers Binary: libppx-derivers-ocaml-dev Architecture: source Version: 1.2-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted ppx-deriving 4.2.1-2 (source) into unstable

-By: Ralf Treinen Description: libppx-deriving-ocaml - type-driven code generation for OCaml (runtime files) libppx-deriving-ocaml-dev - type-driven code generation for OCaml (dev files) Changes: ppx-deriving (4.2.1-2) unstable; urgency=medium . * Team upload * Update Vcs-* to salsa

Accepted ocaml-visitors 20180306-2 (source) into unstable

Changed-By: Ralf Treinen Description: libppx-visitors-ocaml-dev - OCaml syntax extension for object-oriented visitors libppx-visitors-ocaml-doc - Documentation of the visitors syntax extension for OCaml Changes: ocaml-visitors (20180306-2) unstable; urgency=medium . * Vcs-{Browser,Git

Accepted why3 1.0.0-1 (source) into unstable

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 - PDF

Accepted menhir 20180530-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 18 Jun 2018 20:39:09 +0200 Source: menhir Binary: menhir libmenhir-ocaml-dev menhir-doc Architecture: source Version: 20180530-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf

Accepted camlzip 1.07-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 10 Jun 2018 21:52:05 +0200 Source: camlzip Binary: libzip-ocaml libzip-ocaml-dev Architecture: source Version: 1.07-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted camlzip 1.07-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 08 Jun 2018 21:23:26 +0200 Source: camlzip Binary: libzip-ocaml libzip-ocaml-dev Architecture: source Version: 1.07-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted why3 0.88.3-3 (source) into unstable

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 - PDF

Accepted why 2.40-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 13 May 2018 10:55:19 +0200 Source: why Binary: why libwhy-coq Architecture: source Version: 2.40-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: libwhy-coq

Accepted why 2.40-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 12 May 2018 14:36:22 +0200 Source: why Binary: why libwhy-coq Architecture: source Version: 2.40-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: libwhy-coq

Accepted why 2.40-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 12 May 2018 09:21:13 +0200 Source: why Binary: why libwhy-coq Architecture: source Version: 2.40-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: libwhy-coq

  1   2   3   4   5   6   7   8   9   10   >