···

       
32
       
32
       
 
       
  "zarith" {>= "1.11"}

     

       
33
       
33
       
 
       
  "ounit2" {with-test}

     

       
34
       
34
       
 
       
]

     

       
35
       
35
       
+
       
conflicts: [

     

       
36
       
36
       
+
       
  "coq"   { < "8.17" }

     

       
37
       
37
       
+
       
]

     

       
35
       
38
       
 
       
build: [

     

       
36
       
39
       
 
       
  # Requires dune 2.8 due to https://github.com/ocaml/dune/issues/3219

     

       
37
       
40
       
 
       
  # ["dune" "subst"] {pinned}

     

···

       
25
       
25
       
 
       
  "coqide-server" {= version}

     

       
26
       
26
       
 
       
]

     

       
27
       
27
       
 
       
build: [

     

       
28
       
28
       
-
       
  ["dune" "subst"] {pinned}

     

       
28
       
28
       
+
       
  ["dune" "subst"] {dev}

     

       
29
       
29
       
 
       
  [

     

       
30
       
30
       
 
       
    "dune"

     

       
31
       
31
       
 
       
    "build"