Bug#932514: gdb: Don't build against flex-old

2019-07-22 Thread Héctor Orón Martínez
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 del dia ds., 20 de jul. 2019 a les 11:42: > >

Bug#932514: gdb: Don't build against flex-old

2019-07-20 Thread Tommi Vainikainen
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