build(dune): lower the dune version requirement to 2.0

RedPRL · Jun 7, 2022 · 4686bed · 4686bed
1 parent feb5de6
commit 4686bed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 2.7)
+(lang dune 2.0)
 (name yuujinchou)
 (formatting disabled)