Bug#951761: buster-pu: package opam/2.0.3-1

2020-04-25 Thread Adam D. Barratt
Control: tags -1 + confirmed On Fri, 2020-02-21 at 11:56 +0100, Stéphane Glondu wrote: > It has been brought to my attention that opam doesn't work in buster > out of the box. This has been tracked in [1] (fixed in testing) and > [2]. See in particular comments starting at [3]. > > [1]

Processed: Re: Bug#951761: buster-pu: package opam/2.0.3-1

2020-04-25 Thread Debian Bug Tracking System
Processing control commands: > tags -1 + confirmed Bug #951761 [release.debian.org] buster-pu: package opam/2.0.3-1+deb10u1 Added tag(s) confirmed. -- 951761: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=951761 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#951761: buster-pu: package opam/2.0.3-1+deb10u1

2020-04-16 Thread Holger Levsen
control: retitle -1 buster-pu: package opam/2.0.3-1+deb10u1 thanks hi, On Fri, Feb 21, 2020 at 11:56:15AM +0100, Stéphane Glondu wrote: > It has been brought to my attention that opam doesn't work in buster > out of the box. This has been tracked in [1] (fixed in testing) and > [2]. See in

Processed: Re: Bug#951761: buster-pu: package opam/2.0.3-1+deb10u1

2020-04-16 Thread Debian Bug Tracking System
Processing control commands: > retitle -1 buster-pu: package opam/2.0.3-1+deb10u1 Bug #951761 [release.debian.org] buster-pu: package opam/2.0.3-1 Changed Bug title to 'buster-pu: package opam/2.0.3-1+deb10u1' from 'buster-pu: package opam/2.0.3-1'. -- 951761:

Bug#951761: buster-pu: package opam/2.0.3-1

2020-02-21 Thread Stéphane Glondu
Package: release.debian.org Severity: normal Tags: buster User: release.debian@packages.debian.org Usertags: pu Dear Release Managers, It has been brought to my attention that opam doesn't work in buster out of the box. This has been tracked in [1] (fixed in testing) and [2]. See in