Fix missing Coq 8.15 (#495)

kazk · web-flow · commit df7db6a57c29 · 2024-02-06T00:26:03.000-08:00
diff --git 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
 
