On Sat, Jan 19, 2019 at 06:45:16PM -0500, David H. Gutteridge wrote: > Though I don't think this is the most likely answer here, another > possibility is that the problem packages have been built on a machine > running an 8.0_BETA release from prior to Oct. 12, 2017. Because prior > to that, libstdc++.so.7 existed, and then it was replaced with .8.[1]
That is not a very unlikely answer and probably even the correct one. This is a problem with the binary pkgs for sure and might be overlooked by the relevant people here. Martin
