diff --git a/doc/changes/10631.md b/doc/changes/10631.md
new file mode 100644
index 000000000000..b5fef319c0d2
--- /dev/null
+++ b/doc/changes/10631.md
@@ -0,0 +1,2 @@
+- Don't depend on coq-stdlib being installed when expanding variables
+  of the `coq.version` family (#10631, fixes #10629, @gares)
\ No newline at end of file