Skip to content
Snippets Groups Projects
Commit 4922a992 authored by Ralf Jung's avatar Ralf Jung
Browse files

finalize release

parent d9048e46
No related branches found
Tags coq-stdpp-1.6.0
No related merge requests found
......@@ -3,7 +3,7 @@ API-breaking change is listed.
## std++ master
## std++ 1.6.0
## std++ 1.6.0 (2021-11-05)
Coq 8.14 is newly supported by this release, and Coq 8.10 to 8.13 remain
supported.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment