diff --git a/content/languages/coq/index.md b/content/languages/coq/index.md
index 98f44b29..a657ecc8 100644
--- a/content/languages/coq/index.md
+++ b/content/languages/coq/index.md
@@ -9,6 +9,7 @@ tags: [coq]
 ## Versions
 
 - 8.12
+- 8.15
 
 ## Test Frameworks