Revert lower bound on dune (reverts 9ef8d22)

Author: Lysxia

coq-itree-extra.opam

@@ -11,12 +11,11 @@ tags: ["org:deepspec"]
 homepage: "https://github.com/DeepSpec/InteractionTrees"
 bug-reports: "https://github.com/DeepSpec/InteractionTrees/issues"
 depends: [
-  "dune" {>= "3.14"}
+  "dune" {>= "2.6"}
   "coq"
   "coq-ext-lib"
   "coq-paco"
   "coq-itree"
-  "odoc" {with-doc}
 ]
 dev-repo: "git+https://github.com/DeepSpec/InteractionTrees.git"
 build: [

coq-itree.opam

@@ -18,14 +18,13 @@ tags: ["org:deepspec"]
 homepage: "https://github.com/DeepSpec/InteractionTrees"
 bug-reports: "https://github.com/DeepSpec/InteractionTrees/issues"
 depends: [
-  "dune" {>= "3.14"}
+  "dune" {>= "2.6"}
   "coq" {>= "8.14"}
   "coq-ext-lib" {>= "0.11.1"}
   "coq-paco" {>= "4.2.1"}
-  "odoc" {with-doc}
 ]
 build: [
-  ["dune" "subst"] {dev}
+  ["dune" "subst"] {pinned}
   [
     "dune"
     "build"

dune-project

@@ -1,5 +1,5 @@
-(lang dune 3.14)
-(using coq 0.7)
+(lang dune 2.6)
+(using coq 0.2)
 (name coq-itree)
 (version dev)
 (maintainers "Li-yao Xia <lysxia@gmail.com>")