Distribution != publication. See, for example, the MIT License where these are called out as separate rights.
AS Roy explained in a response:
"The dev subversion repo is not a means of distributing to the
"general public". It distributes to our self-selected development
teams that are expected to be aware of the state of the code being
distributed.
When we distribute to the "general public", it is called a release."