coq 8.18

thery · Oct 31, 2023 · 9d4a151 · 9d4a151
1 parent e051c82
commit 9d4a151
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -17,7 +17,7 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'coqorg/coq:8.17'
+          - 'coqorg/coq:8.18'
       fail-fast: false
     steps:
       - uses: actions/checkout@v3

diff --git a/README.md b/README.md
@@ -22,7 +22,7 @@ a version of the 2048 game for Coq
 - Author(s):
   - Laurent Théry
 - License: [MIT License](LICENSE)
-- Compatible Coq versions: 8.17 or later
+- Compatible Coq versions: 8.18 or later
 - Additional dependencies: none
 - Coq namespace: `T2048`
 - Related publication(s): none

diff --git a/coq-T2048.opam b/coq-T2048.opam
@@ -20,7 +20,7 @@ a version of the 2048 game for Coq
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.17")}
+  "coq" {(>= "8.18")}
 ]
 
 tags: [