Coq packages in Debian : difficult transitions

Hi, I tried to ask on debian-release because it seemed more sensible but didn't get feedback. [1] The Coq-related packages have a habit of breaking their ABI with almost each upload, and until recently that meant broken user configurations: installed packages stopped working because of an upgrade

Re: Coq packages in Debian : difficult transitions

On 2022-07-31 12:33:35 +0200, julien.pu...@gmail.com wrote: > Hi, > > I tried to ask on debian-release because it seemed more sensible but > didn't get feedback. [1] Please file a transition bug. The mailing list has a high volume and non-bug mails may be overlooked. Cheers > > The Coq-related

Re: Coq packages in Debian : difficult transitions

Le dimanche 31 juillet 2022 à 12:43 +0200, Sebastian Ramacher a écrit : > On 2022-07-31 12:33:35 +0200, julien.pu...@gmail.com wrote: > > Hi, > > > > I tried to ask on debian-release because it seemed more sensible > > but > > didn't get feedback. [1] > > Please file a transition bug. The mailing

Re: debhelper-compat should allow >= relations

Andrey Rahmatullin writes: > On Sat, Jul 30, 2022 at 10:21:06PM -0700, Dima Kogan wrote: >> > it's completely identical to putting 13 into debian/compat >> >> Oh. So it is. I vaguely remember that using debian/compat and >> "Build-Depends: debhelper" generated some lintian complaints. > > Using

Bug#1016460: ITP: wtforms-json -- smart json support for WTForms

Package: wnpp Severity: wishlist Owner: Joseph Nahmias X-Debbugs-Cc: debian-devel@lists.debian.org, debian-pyt...@lists.debian.org, kon...@fastmonkeys.com, j...@nahmias.net * Package name: wtforms-json Version : 0.3.5 Upstream Author : Konsta Vesterinen * URL : https

Bug#1016461: ITP: wtforms-alchemy -- Tools for creating WTForms forms from SQLAlchemy models

Package: wnpp Severity: wishlist Owner: Joseph Nahmias X-Debbugs-Cc: debian-devel@lists.debian.org, debian-pyt...@lists.debian.org, j...@nahmias.net, kon...@fastmonkeys.com * Package name: wtforms-alchemy Version : 0.18.0 Upstream Author : Konsta Vesterinen * URL : h

Bug#1016462: ITP: wtforms-test -- unit test helpers for WTForms forms

Package: wnpp Severity: wishlist Owner: Joseph Nahmias X-Debbugs-Cc: debian-devel@lists.debian.org, debian-pyt...@lists.debian.org, j...@nahmias.net, kon...@fastmonkeys.com * Package name: wtforms-test Version : 0.1.1 Upstream Author : Konsta Vesterinen * URL : https