diff --git a/CHANGELOG.md b/CHANGELOG.md index c7ff83000a3b6d81f3554c2696fbefb6476bf5aa..a91b88cff3a633b64c0943d528675a16b051936a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -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.