On Sat, Oct 29, 2016 at 06:00:48PM +0200, Uli Schlachter wrote: > This is quite a stripped-down version with some generous use of "#if 0", > but I guess it still is a convenience copy, isn't it?
Well, if it's a stripped-down version then it's no longer a copy by definition... The idea behind the policy you quote is that whenever we find a copy of a library, we modify the program to use the real shared library which is already packaged in Debian, and not the private copy. In this case we can't do that because it's not really a copy (as you have already investigated, the ABI is even different). So, I think not even Policy 4.13 applies here. Can we close this report? Thanks.
