···

       
38
       
 
       
  ]

     

       
39
       
 
       
]

     

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

     

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

     

       
42
       
 
       
url {

     

       
43
       
 
       
  src:

     

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

     
···

       
47
       
 
       
    "sha512=5e11656a0a41c6102352671b95d4fb347dbeb72925d1cefedbad7f708cee26e9f548bc5f06c5eed1cc52545bd4aa13ffc8ba8ea57a4bcb420c49d1a2412a121c"

     

       
48
       
 
       
  ]

     

       
49
       
 
       
}

     

       
50
       
-
       
x-commit-hash: "c0b2316360544d5ca9b79e950e0e6f4ef96a07f6"
     

···

       
38
       
 
       
  ]

     

       
39
       
 
       
]

     

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

     

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

     

       
42
       
 
       
url {

     

       
43
       
 
       
  src:

     

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

     
···

       
47
       
 
       
    "sha512=5e11656a0a41c6102352671b95d4fb347dbeb72925d1cefedbad7f708cee26e9f548bc5f06c5eed1cc52545bd4aa13ffc8ba8ea57a4bcb420c49d1a2412a121c"

     

       
48
       
 
       
  ]

     

       
49
       
 
       
}

     

       
50
       
+
       
x-commit-hash: "c0b2316360544d5ca9b79e950e0e6f4ef96a07f6"