On Tue, Jun 26, 2018 at 2:45 AM Andreas Beckmann <a...@debian.org> wrote: > and now we have the same problem with libgpr2-dev ... I assume > you want to add a conflict against that, too. > (Even if a conflict between two unrelated packages is not really > the right solution here (one might want to link against both libraries), > I don't see a better one here for now). Exactly. Upstream developers need to discuss this and one project need to rename its library. Maybe Nicolas has some connections with GNAT upstream and when informed, they can discuss this library name collision with Google.
Regards, Laszlo/GCS
