Skip to content

Commit df7db6a

Browse files
kazkkazk
authored
Fix missing Coq 8.15 (codewars#495)
1 parent fbfa0fc commit df7db6a

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎content/languages/coq/index.md‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ tags: [coq]
99
## Versions
1010

1111
- 8.12
12+
- 8.15
1213

1314
## Test Frameworks
1415

0 commit comments

Comments
 (0)