Something went wrong on our end
Explicitly Require Coq Vector in vector.v (for coq/coq#18936)
1 unresolved thread
For https://github.com/coq/coq/pull/18936
I think previously stdpp vector.v pulled in stdlib Vector.v through NArith, Ndigits, and ByteVector.