Bump Dune language version in dune-project

Works around ocaml/dune#4553.
bedrocksystems · May 1, 2021 · 605c56d · 605c56d
1 parent 08d3957
commit 605c56d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 2.7)
-(using coq 0.2)
+(lang dune 2.8)
+(using coq 0.3)
 (name coq-cpp2v)