···

       
33
       
33
       
 
       
  "dune-release" {< "1.3.0"}

     

       
34
       
34
       
 
       
  "js_of_ocaml-compiler" {< "3.6.0"}

     

       
35
       
35
       
 
       
  "jbuilder" {= "transition"}

     

       
36
       
36
       
+
       
  "coq" {< "8.13"}

     

       
36
       
37
       
 
       
]

     

       
37
       
38
       
 
       
dev-repo: "git+https://github.com/ocaml/dune.git"

     

       
38
       
39
       
 
       
build: [

     
···

       
46
       
47
       
 
       
  "base-unix"

     

       
47
       
48
       
 
       
  "base-threads"

     

       
48
       
49
       
 
       
]

     

       
49
       
49
       
-
       
conflicts: [ "coq" {< "8.13"} ]

     

       
50
       
50
       
 
       
url {

     

       
51
       
51
       
 
       
  src: "https://github.com/ocaml/dune/releases/download/3.8.0/dune-3.8.0.tbz"

     

       
52
       
52
       
 
       
  checksum: [