···

       
14
       
 
       
bug-reports: "https://github.com/bitwuzla/ocaml-bitwuzla/issues"

     

       
15
       
 
       
depends: [

     

       
16
       
 
       
  "dune" {>= "3.7"}

     

       
17
       
-
       
  "ocaml" {>= "4.12" & < "5"}

     

       
18
       
 
       
  "conf-git" {build}

     

       
19
       
 
       
  "conf-gcc" {build}

     

       
20
       
 
       
  "conf-g++" {build}

     

···

       
14
       
 
       
bug-reports: "https://github.com/bitwuzla/ocaml-bitwuzla/issues"

     

       
15
       
 
       
depends: [

     

       
16
       
 
       
  "dune" {>= "3.7"}

     

       
17
       
+
       
  "ocaml" {>= "4.12" & < "5.0~"}

     

       
18
       
 
       
  "conf-git" {build}

     

       
19
       
 
       
  "conf-gcc" {build}

     

       
20
       
 
       
  "conf-g++" {build}