Debian repositories include the dav module by default. Not sure about what’s going on with docker.