fix: downgrade Coq language version

liyishuai · Dec 4, 2024 · 2988762 · 2988762
1 parent 7fa04dd
commit 2988762
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -1,3 +1,4 @@
-(lang dune 3.6)
-(using coq 0.6)
+(lang dune 3.11)
+(using coq 0.1)
 (name coq-parsec)
+(warnings (deprecated_coq_lang_lt_08 disabled))