> Linux package managers (that I'm aware of) tend to dislike keeping multiple versions of development headers around, though;
They really don't. At most, those doing the packaging lack the insight to allow users to install separate versions of the same package. You only need to allow your package to not reuse another release's path, and allow users to use a generic major/minor version of a package, and that's it.