set conventional Dune requirements

coq-community · Sep 22, 2021 · 5027c85 · 5027c85
1 parent 65cd4ee
commit 5027c85
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.4)
-(using coq 0.1)
+(lang dune 2.5)
+(using coq 0.2)
 (name coq-aac-tactics)