Like dkg, I think it makes sense for a shared hogweed library to have a dependency on the shared nettle library (and on a shared gmp library). But I'm not familiar with how such dependencies work with dlls.
Great, that's exactly the path I chose to go down. Thanks!