On 2022-09-29 14:04:20 +0200, julien.pu...@gmail.com wrote:
> Hi,
>
> Le dimanche 25 septembre 2022 à 15:49 +0200, Sebastian Ramacher a
> écrit :
> > Control: tags -1 confirmed
> >
> > On 2022-09-23 14:36:02 +0200, julien.pu...@gmail.com wrote:
> > > Package: release.debian.org
> > > Severity: no
Hi,
Le dimanche 25 septembre 2022 à 15:49 +0200, Sebastian Ramacher a
écrit :
> Control: tags -1 confirmed
>
> On 2022-09-23 14:36:02 +0200, julien.pu...@gmail.com wrote:
> > Package: release.debian.org
> > Severity: normal
> > User: release.debian@packages.debian.org
> > Usertags: transition
Control: tags -1 confirmed
On 2022-09-23 14:36:02 +0200, julien.pu...@gmail.com wrote:
> Package: release.debian.org
> Severity: normal
> User: release.debian@packages.debian.org
> Usertags: transition
> X-Debbugs-Cc: jpu...@debian.org
> X-Debbugs-Cc: Debian OCaml Maintainers
>
>
> Hi,
>
>
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
Hi,
there is a new version of coq-simple-io ; it requires re-building
another package:
nmu coq-quickchick_1.6.4-
4 matches
Mail list logo