Yup, indeed that works!    I had it in my head that `propagatedBuildInputs` would somehow only work for a build dependency, not also sneaking in a runtime dependency, but as you rightly pointed out, it does what I want.    Updated with that change, thanks!