It is correct and intended, as mixing 7.5 and 7.6 libs and headers could result in version conflicts - ie stuff built against 7.6 libs would not run when the 7.5-lib extension is in the system. 7.5-lib is not in the repo for this reason.
It should just work, but of course report any issues encountered.