bump to Dune 3.5 or later and Dune-Coq 0.6

coq-community · Jul 24, 2024 · bca0798 · bca0798
1 parent 05942fe
commit bca0798
Show file tree

Hide file tree

Showing 7 changed files with 8 additions and 8 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -29,7 +29,7 @@ jobs:
           - 'mathcomp/mathcomp:2.0.0-coq-8.16'
       fail-fast: false
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: coq-community/docker-coq-action@v1
         with:
           custom_image: ${{ matrix.image }}

diff --git a/coq-gaia-numbers.opam b/coq-gaia-numbers.opam
@@ -14,7 +14,7 @@ Elements of Mathematics in Coq using the Mathematical Components library."""
 
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
-  "dune" {>= "2.8"}
+  "dune" {>= "3.5"}
   "coq" {>= "8.16"}
   "coq-mathcomp-ssreflect" {>= "2.0"}
   "coq-mathcomp-algebra"

diff --git a/coq-gaia-ordinals.opam b/coq-gaia-ordinals.opam
@@ -14,7 +14,7 @@ the Mathematical Components library."""
 
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
-  "dune" {>= "2.8"}
+  "dune" {>= "3.5"}
   "coq" {>= "8.16"}
   "coq-mathcomp-ssreflect" {>= "2.0"}
   "coq-gaia-theory-of-sets" {= version}

diff --git a/coq-gaia-schutte.opam b/coq-gaia-schutte.opam
@@ -14,7 +14,7 @@ following the approaches of Schütte and Ackermann."""
 
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
-  "dune" {>= "2.8"}
+  "dune" {>= "3.5"}
   "coq" {>= "8.16"}
   "coq-mathcomp-ssreflect" {>= "2.0"}
 ]

diff --git a/coq-gaia-stern.opam b/coq-gaia-stern.opam
@@ -14,7 +14,7 @@ Mathematical Components library."""
 
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
-  "dune" {>= "2.8"}
+  "dune" {>= "3.5"}
   "coq" {>= "8.16"}
   "coq-mathcomp-ssreflect" {>= "2.0"}
   "coq-mathcomp-algebra"

diff --git a/coq-gaia-theory-of-sets.opam b/coq-gaia-theory-of-sets.opam
@@ -14,7 +14,7 @@ Elements of Mathematics in Coq using the Mathematical Components library."""
 
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
-  "dune" {>= "2.8"}
+  "dune" {>= "3.5"}
   "coq" {>= "8.16"}
   "coq-mathcomp-ssreflect" {>= "2.0"}
 ]

diff --git a/dune-project b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 2.8)
-(using coq 0.3)
+(lang dune 3.5)
+(using coq 0.6)
 (name gaia)