Is it true that the official OPAM repository allows non-additive updates to the projects/packages pushed to it?

I’ve been trying to install all the dependencies under proverbot9001 and discovered that some packages do none additive updates to opam – or so it seems (e.g. coq-cheerios, verdi, metalib).

Is it true that opam allows non additive uploads to the official OPAM repository of packages/projects?

other related links:

This is blatantly false as I have stated to you explicitly the opposite. May I kindly ask that you don’t distort my words?