coq-stdpp-1.7.0
ebfb79dd · Merge branch 'release-notes-1.7.0' into 'master' ·