Hello, I have pushed a slightly updated version of your patch to Git (salsa) now, so it should be part of next release.
https://salsa.debian.org/gdb-team/gdb/commit/c9f210a8e1fcd89d2f24630a0283d68fa3b6275f Regards Missatge de Tommi Vainikainen <tvain...@debian.org> del dia ds., 20 de jul. 2019 a les 11:42: > > Source: gdb > Severity: normal > Tags: patch > > Hi, as a maintainer of flex-old package I'm considering requesting > removing it as obsolete and unmaintained version of flex. The > gdb Build-Depends on flex-old optionally. Please build the > package only against current flex by removing references to flex-old > package such as changed in the following patch. > > --- a/debian/control > +++ b/debian/control > @@ -17,7 +17,7 @@ Build-Depends: > gettext, > bison, > dejagnu, > - flex | flex-old, > + flex, > procps, > # Do we really care that much about running the Java tests? > # gcj-jdk | gcj, -- Héctor Orón -.. . -... .. .- -. -.. . ...- . .-.. --- .--. . .-.