diff --git a/CHANGELOG.md b/CHANGELOG.md
index d7846557258eaf7686fab257de7a85ee528bca94..4bae6fe6b3af801333b9935a23191b1fd4d959eb 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -27,7 +27,8 @@ Changes in and extensions of the theory:
 
 Changes in Coq:
 
-* Move the `prelude` folder to its own project: std++
+* Move the `prelude` folder to its own project:
+  [coq-std++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp)
 * Some extensions/improvements of heap_lang:
   - Improve handling of pure (non-state-dependent) reductions.
   - Add fetch-and-add (`FAA`) operation.