···

       
38
       
38
       
 
       
  ]

     

       
39
       
39
       
 
       
]

     

       
40
       
40
       
 
       
dev-repo: "git+https://github.com/bitwuzla/ocaml-bitwuzla.git"

     

       
41
       
41
       
-
       
available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) | os = "macos" & os-distribution = "homebrew" ]

     

       
41
       
41
       
+
       
available: [ arch != "arm32" & (os = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) | os = "macos" & os-distribution = "homebrew") ]

     

       
42
       
42
       
 
       
url {

     

       
43
       
43
       
 
       
  src:

     

       
44
       
44
       
 
       
    "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/0.6.0/bitwuzla-cxx-0.6.0.tbz"