Explicitly Require Coq Vector in vector.v (for coq/coq#18936)

For https://github.com/coq/coq/pull/18936

I think previously stdpp vector.v pulled in stdlib Vector.v through NArith, Ndigits, and ByteVector.

Without this line you get a warning telling you off for using Vector. There was quite a discussion about it at https://github.com/coq/coq/pull/18032 .

changed the description

resolved all threads

added 1 commit

• 1bdbb4dd - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

LGTM, thanks!

mentioned in commit e40779e3

merged

To unblock Coq CI, Iris and iris-examples need to be updated to pick up a new version of std++. I will take care of that.

This is done now.