Bug#1087631: Transition: coq 8.20

2024-11-20 Thread Emilio Pozuelo Monfort
Control: tags -1 confirmed On 20/11/2024 10:20, Julien Puydt wrote: Hi Le mer. 20 nov. 2024, 09:53, Emilio Pozuelo Monfort a écrit : On 16/11/2024 15:43, Julien Puydt wrote: Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: transition X-Debb

Processed: Re: Bug#1087631: Transition: coq 8.20

2024-11-20 Thread Debian Bug Tracking System
Processing control commands: > tags -1 confirmed Bug #1087631 [release.debian.org] Transition: coq 8.20 Added tag(s) confirmed. -- 1087631: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1087631 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1087631: Transition: coq 8.20

2024-11-20 Thread Julien Puydt
Hi Le mer. 20 nov. 2024, 09:53, Emilio Pozuelo Monfort a écrit : > On 16/11/2024 15:43, Julien Puydt wrote: > > Package: release.debian.org > > Severity: normal > > User: release.debian@packages.debian.org > > Usertags: transition > > X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org > > > >

Bug#1087631: Transition: coq 8.20

2024-11-20 Thread Emilio Pozuelo Monfort
On 16/11/2024 15:43, Julien Puydt wrote: Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: transition X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org Coq version 8.20 has been out since the beginning of september. I prepared a coherent set of v

Bug#1087631: Transition: coq 8.20

2024-11-16 Thread Julien Puydt
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: transition X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org Coq version 8.20 has been out since the beginning of september. I prepared a coherent set of versions for the whole Coq-in-Debian set of