Dune 3.8

coq-community · Sep 20, 2024 · 51fa66d · 51fa66d
1 parent 078c045
commit 51fa66d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/dune-project.mustache b/dune-project.mustache
@@ -1,3 +1,3 @@
-(lang dune 2.5)
-(using coq 0.2)
+(lang dune 3.8)
+(using coq 0.8)
 (name {{ shortname }})