···

       
27
       
27
       
 
       
  "coq"                 {           >= "8.10.0" & < "8.11" }

     

       
28
       
28
       
 
       
  "cmdliner"            {           >= "1.0.0"             }

     

       
29
       
29
       
 
       
  "ocamlfind"           {           >= "1.8.0"             }

     

       
30
       
30
       
-
       
  "sexplib"             {           >= "v0.11.0"           }

     

       
30
       
30
       
+
       
  "sexplib"             {           >= "v0.11.0" & < "v0.13" }

     

       
31
       
31
       
 
       
  "dune"                {           >= "1.2.0"             }

     

       
32
       
32
       
 
       
  "ppx_import"          { build   & >= "1.5-3"             }

     

       
33
       
33
       
 
       
  "ppx_deriving"        {           >= "4.2.1"             }

     

       
34
       
34
       
-
       
  "ppx_sexp_conv"       {           >= "v0.11.0"           }

     

       
34
       
34
       
+
       
  "ppx_sexp_conv"       {           >= "v0.11.0" & < "v0.13" }

     

       
35
       
35
       
 
       
  "yojson"              {           >= "1.7.0"             }

     

       
36
       
36
       
 
       
  "ppx_deriving_yojson" {           >= "3.4"               }

     

       
37
       
37
       
 
       
]