Skip to content
Pierre Roux requested to merge proux/stdpp:coq_19059 into master

Prepare for next version number bump in Coq.

Could you please encode the test in the other direction to avoid having to do that kind of PR again for next Coq version (no hurry, this can be done in the next six months).

Merge request reports