Accepted otags 4.05.1-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 22 Sep 2017 22:41:22 +0200 Source: otags Binary: otags Architecture: source amd64 Version: 4.05.1-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description: otags

Accepted hol-light 20170109-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 02 Aug 2017 23:05:25 +0200 Source: hol-light Binary: hol-light Architecture: source Version: 20170109-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description: hol

Accepted coq-doc 8.6-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 05 Jul 2017 22:29:28 +0200 Source: coq-doc Binary: coq-doc coq-doc-html coq-doc-pdf Architecture: source all Version: 8.6-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews

Accepted proofgeneral 4.4.1~pre170114-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 16 Jan 2017 17:30:55 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.4.1~pre170114-1 Distribution: unstable Urgency: medium Maintainer: Hendrik Tews Changed-By: Hendrik

Accepted hol-light 20170109-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 09 Jan 2017 23:27:28 +0100 Source: hol-light Binary: hol-light Architecture: source Version: 20170109-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description: hol

Accepted prooftree 0.13-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 03 Jan 2017 16:29:09 +0100 Source: prooftree Binary: prooftree Architecture: source Version: 0.13-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description: prooftree

Accepted hol-light 20131026-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 10 Nov 2013 20:37:21 +0100 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20131026-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description

Accepted hol-light 20130811-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 14 Aug 2013 22:45:11 +0200 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20130811-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description

Accepted otags 4.00.2-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 15 Aug 2013 10:22:59 +0200 Source: otags Binary: otags Architecture: source amd64 Version: 4.00.2-1 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description: otags

Accepted prooftree 0.12-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 17 May 2013 16:53:01 +0200 Source: prooftree Binary: prooftree Architecture: source amd64 Version: 0.12-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description

Accepted mikmatch 1.0.6-2 (source amd64)

: Hendrik Tews Description: libmikmatch-ocaml - camlp4 extension for pattern matching with regexps - runtime libmikmatch-ocaml-dev - camlp4 extension for pattern matching with regexps - development Changes: mikmatch (1.0.6-2) experimental; urgency=low . * prepare for OCaml 4.00

Accepted mikmatch 1.0.6-1 (source amd64)

: Hendrik Tews Description: libmikmatch-ocaml - camlp4 extension for pattern matching with regexps - runtime libmikmatch-ocaml-dev - camlp4 extension for pattern matching with regexps - development Changes: mikmatch (1.0.6-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le

Accepted oasis 0.3.0-2 (source amd64 all)

Maintainers Changed-By: Hendrik Tews Description: liboasis-ocaml - Build-system generation for OCaml projects -- runtime liboasis-ocaml-dev - Build-system generation for OCaml projects -- development files liboasis-ocaml-doc - Architecture for building OCaml libraries and applications oasis

Accepted otags 3.12.5-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 23 Jun 2013 23:12:18 +0200 Source: otags Binary: otags Architecture: source amd64 Version: 3.12.5-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description: otags

Accepted ocaml-benchmark 1.2-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 23 Jun 2013 21:01:51 +0200 Source: ocaml-benchmark Binary: libbenchmark-ocaml-dev Architecture: source amd64 Version: 1.2-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews

Accepted tophide 1.0.1-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 21 Jun 2013 09:22:20 +0200 Source: tophide Binary: libtophide-ocaml-dev Architecture: source all Version: 1.0.1-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description

Accepted atdgen 1.2.5-1 (source amd64)

from uploaders . [ Hendrik Tews ] * fix watch file * new upstream version (Closes: #711524) * bump debhelper compat level and standards version * add myself as uploader * update homepage, Vcs fields, package description and dependencies * update copyright * adapt rules and

Accepted yojson 1.1.7-1 (source amd64)

Tews Description: libyojson-ocaml - JSON library for OCaml - runtime package libyojson-ocaml-dev - JSON library for OCaml - development package Changes: yojson (1.1.7-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Hendrik Tews ] * updated

Accepted ocaml-extunix 0.0.6-1 (source amd64)

: Hendrik Tews Description: libextunix-ocaml - Extended functions for OCaml Unix module (runtime package) libextunix-ocaml-dev - Extended functions for OCaml Unix module (development package) Changes: ocaml-extunix (0.0.6-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le

Accepted biniou 1.0.6-1 (source amd64)

Tews Description: libbiniou-ocaml - flexible binary data format in OCaml - plugins libbiniou-ocaml-dev - flexible binary data format in OCaml - development files Changes: biniou (1.0.6-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Hendrik

Accepted ocaml-atd 1.0.3-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 06 Jun 2013 10:21:07 +0200 Source: ocaml-atd Binary: libatd-ocaml-dev libatd-ocaml Architecture: source amd64 Version: 1.0.3-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews

Accepted ocaml-fileutils 0.4.5-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2013 13:00:40 +0200 Source: ocaml-fileutils Binary: libfileutils-ocaml-dev Architecture: source amd64 Version: 0.4.5-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews

Accepted cppo 0.9.3-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 02 Jun 2013 23:12:27 +0200 Source: cppo Binary: cppo Architecture: source amd64 Version: 0.9.3-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description: cppo

Accepted easy-format 1.0.1-1 (source amd64)

-By: Hendrik Tews Description: libeasy-format-ocaml - easy(ier) pretty printing for OCaml - plugins libeasy-format-ocaml-dev - easy(ier) pretty printing for OCaml - development files Changes: easy-format (1.0.1-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall

Accepted oasis 0.3.0-1 (source amd64 all)

Maintainers Changed-By: Hendrik Tews Description: liboasis-ocaml - Build-system generation for OCaml projects -- runtime liboasis-ocaml-dev - Build-system generation for OCaml projects -- development files liboasis-ocaml-doc - Architecture for building OCaml libraries and applications oasis

Accepted caml2html 1.4.3-1 (source amd64)

Changed-By: Hendrik Tews Description: caml2html - HTML and LaTeX colored syntax from OCaml source files - executabl libcaml2html-ocaml - HTML and LaTeX colored syntax from OCaml source files - plugins libcaml2html-ocaml-dev - HTML and LaTeX colored syntax from OCaml source files - dev files

Accepted ocaml-fileutils 0.4.4-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 30 May 2013 20:25:35 +0200 Source: ocaml-fileutils Binary: libfileutils-ocaml-dev Architecture: source amd64 Version: 0.4.4-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews

Accepted ounit 1.1.2-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 29 May 2013 14:51:13 +0200 Source: ounit Binary: libounit-ocaml-dev Architecture: source amd64 Version: 1.1.2-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description

Accepted camlmix 1.3.1-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 28 May 2013 11:18:37 +0200 Source: camlmix Binary: camlmix Architecture: source amd64 Version: 1.3.1-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description: camlmix

Accepted ounit 1.1.2-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 22 May 2013 12:15:56 +0200 Source: ounit Binary: libounit-ocaml-dev Architecture: source amd64 Version: 1.1.2-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description

Accepted hol-light 20130511-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 17 May 2013 13:54:42 +0200 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20130511-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description

Accepted uuidm 0.9.5-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 27 May 2013 09:41:06 +0200 Source: uuidm Binary: libuuidm-ocaml-dev Architecture: source amd64 Version: 0.9.5-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description

Accepted proofgeneral 4.3~pre130510-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 15 May 2013 17:11:19 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.3~pre130510-1 Distribution: unstable Urgency: low Maintainer: Hendrik Tews Changed-By: Hendrik Tews

Accepted proofgeneral 4.2~pre120605-2 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Dec 2012 14:50:27 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120605-2 Distribution: unstable Urgency: low Maintainer: Hendrik Tews Changed-By: Hendrik Tews

Accepted hol-light 20120602-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 10 Jun 2012 21:59:35 +0200 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20120602-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description

Accepted proofgeneral 4.2~pre120605-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 06 Jun 2012 23:12:58 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120605-1 Distribution: unstable Urgency: low Maintainer: Hendrik Tews Changed-By: Hendrik Tews

Accepted otags 3.12.5-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 23 May 2012 22:25:28 +0200 Source: otags Binary: otags Architecture: source amd64 Version: 3.12.5-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description: otags

Accepted hol-light 20120530-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 31 May 2012 10:12:15 +0200 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20120530-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description

Accepted otags 3.12.3-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 17 May 2012 14:18:27 +0200 Source: otags Binary: otags Architecture: source amd64 Version: 3.12.3-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description: otags

Accepted hol-light 20120423-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 24 Apr 2012 20:40:39 +0200 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20120423-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description

Accepted proofgeneral 4.2~pre120411-2 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 25 Apr 2012 22:57:47 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120411-2 Distribution: unstable Urgency: low Maintainer: Hendrik Tews Changed-By: Hendrik Tews

Accepted proofgeneral 4.2~pre120411-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 21 Apr 2012 23:28:59 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120411-1 Distribution: unstable Urgency: low Maintainer: Hendrik Tews Changed-By: Hendrik Tews

Accepted proofgeneral 4.2~pre120206-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 28 Feb 2012 12:53:12 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120206-1 Distribution: unstable Urgency: low Maintainer: Hendrik Tews Changed-By: Hendrik Tews

Accepted otags 3.12.2-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 06 Feb 2012 15:35:29 +0100 Source: otags Binary: otags Architecture: source amd64 Version: 3.12.2-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Hendrik Tews Description: otags

Accepted proofgeneral 4.2~pre120112-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 12 Jan 2012 21:15:51 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120112-1 Distribution: unstable Urgency: low Maintainer: Hendrik Tews Changed-By: Hendrik Tews