switch to Dune-Coq 0.3

coq-community · Aug 3, 2023 · 475d382 · 475d382
1 parent 0f2de22
commit 475d382
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/coq-aac-tactics.opam b/coq-aac-tactics.opam
@@ -22,7 +22,7 @@ such as for binary integer arithmetic and booleans, are provided with the plugin
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "ocaml" {>= "4.09.0"}
-  "dune" {>= "2.5"}
+  "dune" {>= "2.8"}
   "coq" {= "dev"}
 ]
 

diff --git a/dune-project b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 2.5)
-(using coq 0.2)
+(lang dune 2.8)
+(using coq 0.3)
 (name aac-tactics)