diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0b77231a0369301d3896daf4743163a3236eb272..91836201893e036a9063112abb56290a84023458 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -32,7 +32,7 @@ s/\bdecide_right\b/decide_False_pi/g
 ' $(find theories -name "*.v")
 ```
 
-## std++ 1.5.0
+## std++ 1.5.0 (2021-02-16)
 
 Coq 8.13 is newly supported by this release, Coq 8.8 and 8.9 are no longer
 supported.