Bug#1020564: transition: coq-simple-io

2022-09-30 Thread Sebastian Ramacher
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:

Bug#1020564: transition: coq-simple-io

2022-09-29 Thread julien . puydt
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:

Processed: Re: Bug#1020564: transition: coq-simple-io

2022-09-25 Thread Debian Bug Tracking System
Processing control commands: > tags -1 confirmed Bug #1020564 [release.debian.org] transition: coq-simple-io Added tag(s) confirmed. -- 1020564: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1020564 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1020564: transition: coq-simple-io

2022-09-25 Thread Sebastian Ramacher
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, > >

Bug#1020564: transition: coq-simple-io

2022-09-23 Thread julien . puydt
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