Accepted planets 0.1.13-19 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 08 May 2018 21:58:18 +0200 Source: planets Binary: planets Architecture: source Version: 0.1.13-19 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: planets

Accepted gringo 5.2.2-6 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 03 May 2018 08:30:23 +0200 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-6 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Ralf Treinen Description: gringo

Accepted dose3 5.0.1-10 (source) into unstable

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 why3 0.88.3-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 ppx-deriving-yojson 3.1-1 (source amd64) into unstable, unstable

: Ralf Treinen Description: libppx-deriving-yojson-ocaml-dev - OCaml syntax extension for JSON serialization Closes: 864335 Changes: ppx-deriving-yojson (3.1-1) unstable; urgency=low . * Initial upload (closes: #864335) Checksums-Sha1: a94c10b79c5f616bf20a8c9b16f6197409a3eb58 2284 ppx-deriving

Accepted bibtex2html 1.99-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 23 Mar 2018 21:29:59 +0100 Source: bibtex2html Binary: bibtex2html Architecture: source Version: 1.99-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description

Accepted ocamlweb 1.40-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 23 Mar 2018 05:38:43 +0100 Source: ocamlweb Binary: ocamlweb Architecture: source Version: 1.40-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: ocamlweb

Accepted ocaml-visitors 20180306-1 (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-1) unstable; urgency=medium . * New upstream version

Accepted ppx-deriving 4.2.1-1 (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-1) unstable; urgency=medium . * Team upload * New upstream version

Accepted lablgl 1:1.05-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 16 Mar 2018 09:44:22 +0100 Source: lablgl Binary: liblablgl-ocaml liblablgl-ocaml-dev Architecture: source Version: 1:1.05-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 07 Mar 2018 20:54:08 +0100 Source: mccs Binary: mccs Architecture: source Version: 1:1.1-7 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen Changed-By: Ralf Treinen Description: mccs - multi-critera

Accepted ppx-derivers 1.2-1 (source amd64) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 05 Mar 2018 22:04:35 +0100 Source: ppx-derivers Binary: libppx-derivers-ocaml-dev Architecture: source amd64 Version: 1.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted planets 0.1.13-18 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 20 Jan 2018 10:23:08 +0100 Source: planets Binary: planets Architecture: source Version: 0.1.13-18 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: planets

Accepted why3 0.88.3-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 20171222-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 02 Jan 2018 19:23:01 +0100 Source: menhir Binary: menhir libmenhir-ocaml-dev menhir-doc Architecture: source Version: 20171222-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 21 Dec 2017 20:01:21 +0100 Source: alt-ergo Binary: alt-ergo Architecture: source Version: 1.30+dfsg1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: alt

Accepted menhir 20171206-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 13 Dec 2017 21:31:45 +0100 Source: menhir Binary: menhir libmenhir-ocaml-dev menhir-doc Architecture: source Version: 20171206-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf

Accepted why3 0.88.2-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 20171013-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 23 Nov 2017 08:42:12 +0100 Source: menhir Binary: menhir libmenhir-ocaml-dev menhir-doc Architecture: source Version: 20171013-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 22 Nov 2017 21:24:45 +0100 Source: tuareg-mode Binary: tuareg-mode Architecture: source Version: 1:2.1.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description

Accepted ocplib-simplex 0.4-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 15 Nov 2017 07:59:42 +0100 Source: ocplib-simplex Binary: ocplib-simplex-ocaml-dev Architecture: source Version: 0.4-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted enscribe 0.1.0-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 14 Nov 2017 21:05:08 +0100 Source: enscribe Binary: enscribe Architecture: source Version: 0.1.0-3 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Ralf Treinen Description: enscribe

Accepted bin-prot 113.33.03-3 (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-3) unstable; urgency=medium . * Team upload * d/libbin-prot

Accepted mldonkey 3.1.6-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 07 Nov 2017 21:18:26 +0100 Source: mldonkey Binary: mldonkey-server mldonkey-gui Architecture: source Version: 3.1.6-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted lablgtkmathview 0.7.8-7 (source) into unstable

Changed-By: Ralf Treinen Description: liblablgtkmathview-ocaml - OCaml bindings for libgtkmathview (runtime) liblablgtkmathview-ocaml-dev - OCaml bindings for libgtkmathview, a GTK widget to render MathML Changes: lablgtkmathview (0.7.8-7) unstable; urgency=medium . * Team upload

Accepted ocaml-visitors 20170725-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 Closes: 880063 Changes: ocaml-visitors (20170725-2) unstable; urgency=medium . * Patch

Accepted mathpartir 1.2.0-7 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 24 Oct 2017 21:12:59 +0200 Source: mathpartir Binary: mathpartir Architecture: source Version: 1.2.0-7 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen Changed-By: Ralf Treinen Description: mathpartir - LaTeX

Accepted why 2.39-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 12 Oct 2017 08:25:52 +0200 Source: why Binary: why libwhy-coq Architecture: source Version: 2.39-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: libwhy-coq

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 planets 0.1.13-17 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 26 Sep 2017 08:18:45 +0200 Source: planets Binary: planets Architecture: source Version: 0.1.13-17 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: planets

Accepted ocamlify 0.0.2-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 25 Sep 2017 20:18:56 +0200 Source: ocamlify Binary: ocamlify Architecture: source Version: 0.0.2-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: ocamlify

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 24 Sep 2017 12:39:48 +0200 Source: aspcud Binary: aspcud Architecture: source Version: 1:1.9.4-1 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen Changed-By: Ralf Treinen Description: aspcud - CUDF solver

Accepted headache 1.03-27 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 22 Sep 2017 08:42:12 +0200 Source: headache Binary: headache Architecture: source Version: 1.03-27 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: headache

Accepted bibtex2html 1.98-6 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 21 Sep 2017 05:39:45 +0200 Source: bibtex2html Binary: bibtex2html Architecture: source Version: 1.98-6 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description

Accepted hevea 2.30-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 20 Sep 2017 21:12:51 +0200 Source: hevea Binary: hevea Architecture: source Version: 2.30-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: hevea

Accepted ocaml-tools 20120103-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 20 Sep 2017 08:41:40 +0200 Source: ocaml-tools Binary: ocaml-tools Architecture: source Version: 20120103-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description

Accepted ocamlweb 1.39-6 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 20 Sep 2017 07:59:03 +0200 Source: ocamlweb Binary: ocamlweb Architecture: source Version: 1.39-6 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: ocamlweb

Accepted ocamlwc 0.3-14 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 19 Sep 2017 21:32:42 +0200 Source: ocamlwc Binary: ocamlwc Architecture: source Version: 0.3-14 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: ocamlwc

Accepted hlins 0.39-23 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 19 Sep 2017 21:22:09 +0200 Source: hlins Binary: hlins Architecture: source Version: 0.39-23 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: hlins

Accepted aspcud 1:1.9.1-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 10 Sep 2017 20:06:13 +0200 Source: aspcud Binary: aspcud Architecture: source Version: 1:1.9.1-3 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen Changed-By: Ralf Treinen Description: aspcud - CUDF solver

Accepted why 2.39-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 06 Sep 2017 21:34:58 +0200 Source: why Binary: why libwhy-coq Architecture: source Version: 2.39-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: libwhy-coq

Accepted menhir 20170712-1 (source amd64 all) into unstable, unstable

: Ralf Treinen Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml menhir-doc - Documentation of the Menhir parser generator for OCaml Closes: 484497 Changes: menhir (20170712-1) unstable; urgency=medium . * New upstream release, now including

Accepted ocaml-visitors 20170725-1 (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 Closes: 869207 Changes: ocaml-visitors (20170725-1) unstable; urgency=medium . * New

Accepted ocaml-visitors 20170404-1 (source amd64 all) into unstable, unstable

Maintainers 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 Closes: 862775 Changes: ocaml-visitors (20170404-1) unstable; urgency=medium

Accepted dose3 5.0.1-9 (source) into unstable

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 for

Accepted menhir 20170607.dfsg-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 02 Jul 2017 13:32:18 +0200 Source: menhir Binary: menhir libmenhir-ocaml-dev Architecture: source Version: 20170607.dfsg-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted cairo-ocaml 1:1.2.0-6 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 23 Jun 2017 18:28:25 +0200 Source: cairo-ocaml Binary: libcairo-ocaml libcairo-ocaml-dev Architecture: source Version: 1:1.2.0-6 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf

Accepted menhir 20170607.dfsg-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 20 Jun 2017 08:24:06 +0200 Source: menhir Binary: menhir libmenhir-ocaml-dev Architecture: source Version: 20170607.dfsg-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted menhir 20170607.dfsg-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 19 Jun 2017 22:11:44 +0200 Source: menhir Binary: menhir libmenhir-ocaml-dev Architecture: source Version: 20170607.dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted why 2.38-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 24 Apr 2017 08:25:31 +0200 Source: why Binary: why libwhy-coq Architecture: source Version: 2.38-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: libwhy-coq

Accepted minisat+ 1.0-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 19 Feb 2017 17:03:19 +0100 Source: minisat+ Binary: minisat+ Architecture: source Version: 1.0-4 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Ralf Treinen Description: minisat

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 19 Feb 2017 11:58:39 +0100 Source: mccs Binary: mccs Architecture: source Version: 1:1.1-6 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen Changed-By: Ralf Treinen Description: mccs - multi-critera

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 05 Feb 2017 10:24:10 +0100 Source: mccs Binary: mccs Architecture: source Version: 1:1.1-5 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen Changed-By: Ralf Treinen Description: mccs - multi-critera

Accepted ocamlmakefile 6.37.0-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 24 Jan 2017 03:23:38 +0100 Source: ocamlmakefile Binary: ocamlmakefile Architecture: source Version: 6.37.0-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description

Accepted advi 1.10.2-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 23 Jan 2017 21:23:56 +0100 Source: advi Binary: advi advi-examples Architecture: source Version: 1.10.2-3 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: advi

Accepted why3 0.87.3-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 dose3 5.0.1-8 (source) into unstable

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 for

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 why3 0.87.2-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.36-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 27 Dec 2016 13:13:18 +0100 Source: why Binary: why libwhy-coq Architecture: source Version: 2.36-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: libwhy-coq

Accepted why 2.36-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 27 Dec 2016 12:02:13 +0100 Source: why Binary: why libwhy-coq Architecture: source Version: 2.36-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: libwhy-coq

Accepted packup 0.6-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 20 Dec 2016 09:19:02 +0100 Source: packup Binary: packup Architecture: source Version: 0.6-3 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen Changed-By: Ralf Treinen Description: packup - CUDF solver

Accepted minisat+ 1.0-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 19 Dec 2016 08:06:16 +0100 Source: minisat+ Binary: minisat+ Architecture: source Version: 1.0-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Ralf Treinen Description: minisat

Accepted why 2.36-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 18 Dec 2016 19:22:16 +0100 Source: why Binary: why libwhy-coq Architecture: source Version: 2.36-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: libwhy-coq

Accepted ledit 2.03-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 17 Dec 2016 11:29:40 +0100 Source: ledit Binary: ledit libledit-ocaml-dev Architecture: source Version: 2.03-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description

Accepted hlins 0.39-22 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 16 Dec 2016 08:51:42 +0100 Source: hlins Binary: hlins Architecture: source Version: 0.39-22 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: hlins

Accepted ocamlweb 1.39-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 14 Dec 2016 20:49:39 +0100 Source: ocamlweb Binary: ocamlweb Architecture: source Version: 1.39-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: ocamlweb

Accepted gmanedit 0.4.2-7 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 13 Dec 2016 22:18:05 +0100 Source: gmanedit Binary: gmanedit Architecture: source Version: 0.4.2-7 Distribution: unstable Urgency: low Maintainer: Ralf Treinen Changed-By: Ralf Treinen Description: gmanedit - GTK+ man

Accepted mathpartir 1.2.0-6 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 13 Dec 2016 07:25:15 +0100 Source: mathpartir Binary: mathpartir Architecture: source Version: 1.2.0-6 Distribution: unstable Urgency: low Maintainer: Ralf Treinen Changed-By: Ralf Treinen Description: mathpartir - LaTeX

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 12 Dec 2016 19:58:57 +0100 Source: alt-ergo Binary: alt-ergo Architecture: source Version: 1.30-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: alt-ergo

Accepted mysql-ocaml 1.2.0-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 11 Dec 2016 18:52:06 +0100 Source: mysql-ocaml Binary: libmysql-ocaml libmysql-ocaml-dev Architecture: source Version: 1.2.0-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf

Accepted ocamlweb 1.39-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 10 Dec 2016 15:42:31 +0100 Source: ocamlweb Binary: ocamlweb Architecture: source Version: 1.39-4 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: ocamlweb

Accepted ocamlwc 0.3-13 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 10 Dec 2016 09:17:55 +0100 Source: ocamlwc Binary: ocamlwc Architecture: source Version: 0.3-13 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: ocamlwc

Accepted cmigrep 1.5-14 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 09 Dec 2016 20:55:03 +0100 Source: cmigrep Binary: cmigrep Architecture: source Version: 1.5-14 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: cmigrep

Accepted aribas 1.64-6 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 09 Dec 2016 19:06:43 +0100 Source: aribas Binary: aribas Architecture: source Version: 1.64-6 Distribution: unstable Urgency: low Maintainer: Ralf Treinen Changed-By: Ralf Treinen Description: aribas - interpreter for

Accepted ocplib-simplex 0.3-1 (source amd64) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 29 Nov 2016 20:59:56 +0100 Source: ocplib-simplex Binary: ocplib-simplex-ocaml-dev Architecture: source amd64 Version: 0.3-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted lbt 1.2.2-6 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 06 Dec 2016 20:25:48 +0100 Source: lbt Binary: lbt Architecture: source Version: 1.2.2-6 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Ralf Treinen Description: lbt

Accepted xdemineur 2.1.1-19 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 05 Dec 2016 19:31:09 +0100 Source: xdemineur Binary: xdemineur Architecture: source amd64 Version: 2.1.1-19 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen Changed-By: Ralf Treinen Description: xdemineur

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 01 Dec 2016 22:49:28 +0100 Source: mccs Binary: mccs Architecture: source Version: 1:1.1-4 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen Changed-By: Ralf Treinen Description: mccs - multi-critera

Accepted dose3 5.0.1-7 (source) into unstable

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 for

Accepted wmii 3.10~20120413+hg2813-11 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 06 Nov 2016 17:53:14 +0100 Source: wmii Binary: wmii Architecture: source Version: 3.10~20120413+hg2813-11 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Ralf Treinen Description: wmii

Accepted autoproject 0.20-9 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 05 Nov 2016 19:39:46 +0100 Source: autoproject Binary: autoproject Architecture: source Version: 0.20-9 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Ralf Treinen Description: autoproject

Accepted bibtex2html 1.98-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 27 Oct 2016 09:09:53 +0200 Source: bibtex2html Binary: bibtex2html Architecture: source Version: 1.98-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description

Accepted dose3 5.0.1-6 (source) into unstable

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 for

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.1-4 (source) into unstable

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 for

Accepted dose3 5.0.1-3 (source) into unstable

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 for

Accepted camlbz2 0.6.0-7 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 25 Oct 2016 21:13:41 +0200 Source: camlbz2 Binary: libbz2-ocaml-dev libbz2-ocaml Architecture: source Version: 0.6.0-7 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted camlzip 1.06-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 25 Oct 2016 20:51:31 +0200 Source: camlzip Binary: libzip-ocaml libzip-ocaml-dev Architecture: source Version: 1.06-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted headache 1.03-26 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 25 Oct 2016 20:44:23 +0200 Source: headache Binary: headache Architecture: source Version: 1.03-26 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: headache

Accepted extlib 1.7.0-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 25 Oct 2016 20:35:25 +0200 Source: extlib Binary: libextlib-ocaml-dev libextlib-ocaml Architecture: source Version: 1.7.0-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen

Accepted ocamldsort 0.16.0-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 25 Oct 2016 20:09:26 +0200 Source: ocamldsort Binary: ocamldsort Architecture: source Version: 0.16.0-3 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description

Accepted spass 3.7-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 23 Oct 2016 20:22:48 +0200 Source: spass Binary: spass Architecture: source Version: 3.7-4 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Ralf Treinen Description: spass

Accepted dose3 5.0.1-2 (source) into unstable

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 for

Accepted why 2.36-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 12 Oct 2016 21:33:30 +0200 Source: why Binary: why libwhy-coq Architecture: source Version: 2.36-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: libwhy-coq

Accepted why 2.36-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 11 Oct 2016 21:28:06 +0200 Source: why Binary: why libwhy-coq Architecture: source Version: 2.36-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: libwhy-coq

Accepted hevea-doc 2.29-2 (source all) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 25 Sep 2016 12:32:00 +0200 Source: hevea-doc Binary: hevea-doc Architecture: source all Version: 2.29-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: hevea

Accepted hevea-doc 2.29-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 23 Sep 2016 20:48:21 +0200 Source: hevea-doc Binary: hevea-doc Architecture: source Version: 2.29-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: hevea-doc

Accepted hevea 2.29-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 22 Sep 2016 21:36:11 +0200 Source: hevea Binary: hevea Architecture: source Version: 2.29-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: hevea

<    1   2   3   4   5   6   7   8   9   10   >