Re: usertagging file conflicts [Was: Re: /usr-merge: continuous archive analysis]

Hello, On Mon, Jul 17, 2023 at 10:35:24AM +0200, Andreas Beckmann wrote: > On 17/07/2023 07.16, Helmut Grohne wrote: > > Then I found trei...@debian.org using edos-file-overwrite. That latter > > one seems like what I need here. Should we move it to the qa space and > > drop the edos part? I

Re: Migration of packages blocked if (Build-)Depends are missing on some test architectures

On Mon, Nov 23, 2020 at 11:35:17AM +0100, Andreas Tille wrote: > Hi Paul, > > On Sun, Nov 22, 2020 at 10:24:25PM +0100, Paul Gevers wrote: > > > What I mean when looking at the armhf log[1] this starts with> > > > autopkgtest [21:45:36]: host ci-worker-armhf-01; command line: > > >

Re: possible MMBF regarding Depends: locales without | locales-all?

Hello, On Sun, May 10, 2020 at 06:57:31AM +, Ivan Shmakov wrote: > Unless I deeply misunderstand how locales work in Debian, > I believe that any dependency on the ‘locales’ package is ought > to be satisfied with locales-all as well. > > Could the maintainers of the

Bug#951632: ITP: coq-menhirlib -- Support library for verified Coq parsers produced by Menhir

Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: coq-menhirlib Version : 20200123-1 Upstream Author : Jacques-Henri Jourdan * URL : http://gallium.inria.fr/~fpottier/menhir/ * License : LGPL3+ Programming Lang: Coq Description

Bug#951359: ITP: ocaml-fpath -- OCaml library for handling file system paths

Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: ocaml-fpath Version : 0.7.2 Upstream Author : Daniel Bünzli * URL : https://erratique.ch/software/fpath * License : ISC Programming Lang: OCaml Description : OCaml library

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

Bug#933241: ITP: caml-mode -- emacs mode for editing OCaml programs

Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: caml-mode Version : recent (*) Upstream Author : Damien Doligez, Jacques Garrigue, Xavier Leroy, Didier Remy, Ian T Zimmerman * URL : https://github.com/ocaml/caml-mode * License : GPL2

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

error messages of failing maintainer scripts

way. In this particular case the above stanza should probably be replaced by mkdir -p /var/lib/sgml-base which does the right thing silently when it is possible, and fails with a message otherwise. Any thoughts? -Ralf. -- Ralf Treinen Institut de Recherche en Informatique Fondamentale Équipe Preuves, Program

Bug#929313: ITP: ocaml-cairo2 -- OCaml libraries interfacing to Cairo

Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: ocaml-cairo2 Version : 0.6.1 Upstream Author : Christophe Troestler * URL : https://github.com/Chris00/ocaml-cairo * License : LGPL3 Programming Lang: OCaml Description : OCaml

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

Bug#920362: ITP: morsmall -- OCaml libraries for abstract syntax of shell scripts

Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: morsmall Version : 0.1 Upstream Author : Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen * URL : https://github.com/colis-anr/morsmall * License : GPL3 Programming Lang: OCaml

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

-By: 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

Bug#916645: ITP: lablgtk3 -- OCaml bindings for gtk+ version 3

Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: lablgtk3 Version : 3.0 Upstream Author : Jacques Garrigue * URL : http://lablgtk.forge.ocamlcore.org/ * License : LGPL 2.1 Programming Lang: OCaml Description : OCaml bindings

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

Re: Limiting the power of packages

pts! > AFAIK, Niels Thykier has done a lot of work there, while Ralf > Treinen and colleagues are analysing maintainer scripts - they > even wrote a shell script parser, that is not a shell itself. Indeed, our goal is to do QA on maintainer script and to detect (possibly) buggy o

Bug#907985: ITP: morbig -- Parser for POSIX shell scripts

Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: morbig Version : 0.9 Upstream Author : Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen * URL : https://github.com/colis-anr/morbig * License : GPL3 Programming Lang: OCaml Description

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

Re: intended MBF: wrong redirections in maintainer scripts

On Thu, Aug 09, 2018 at 11:03:22PM +0200, Wouter Verhelst wrote: > On Thu, Aug 09, 2018 at 09:48:22PM +0200, Ralf Treinen wrote: > > You are absolutely right that our assumption about the authors intention > > may be wrong, and that they really intended the redirection the way

Re: intended MBF: wrong redirections in maintainer scripts

Hello Wouter, On Tue, Aug 07, 2018 at 12:38:32PM +0200, Wouter Verhelst wrote: > On Sat, Aug 04, 2018 at 01:15:57PM +0800, Ralf Treinen wrote: > > Hi, > > > > as announced in our talk at debconf'18 [1] we intend a MBF about wrong > > redirections in mai

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

intended MBF: wrong redirections in maintainer scripts

Hi, as announced in our talk at debconf'18 [1] we intend a MBF about wrong redirections in maintainer scripts. In general these are of the form foo 2>&1 1> /dev/null Here it was probably intended to send both stderr and stdout to /dev/null. In reality the effect of this is to send only 1 to

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

  1   2   3   4   5   6   7   8   9   10   >