pin version

Author: Kaptch

coq-gitrees.opam

@@ -14,5 +14,5 @@ depends: [
   "coq-iris" { (= "4.3.0") }
   "coq-iris-heap-lang" { (= "4.3.0") }
   "coq-stdpp" { (= "1.11.0") }
-  "coq" { (>= "8.20") | (= "dev") }
+  "coq" { (= "8.20.1") }
 ]