···

       
36
       
 
       
  ]

     

       
37
       
 
       
]

     

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

     

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

     

       
40
       
 
       
url {

     

       
41
       
 
       
  src:

     

       
42
       
 
       
    "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/1.0.4/bitwuzla-1.0.4.tbz"

     
···

       
45
       
 
       
    "sha512=6b20168df75bdfa9f4da8d3a114349a1add6de1ab7b47c3eb2458b2aa1bf394dfb304201cfcb86a8917ba8c70c81319bd131105ee42759eb5f03345905ff4636"

     

       
46
       
 
       
  ]

     

       
47
       
 
       
}

     

       
48
       
-
       
x-commit-hash: "4b87ce46b8433fb3ef5575c8501d47b2511f51fd"
     

···

       
36
       
 
       
  ]

     

       
37
       
 
       
]

     

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

     

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

     

       
40
       
 
       
url {

     

       
41
       
 
       
  src:

     

       
42
       
 
       
    "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/1.0.4/bitwuzla-1.0.4.tbz"

     
···

       
45
       
 
       
    "sha512=6b20168df75bdfa9f4da8d3a114349a1add6de1ab7b47c3eb2458b2aa1bf394dfb304201cfcb86a8917ba8c70c81319bd131105ee42759eb5f03345905ff4636"

     

       
46
       
 
       
  ]

     

       
47
       
 
       
}

     

       
48
       
+
       
x-commit-hash: "4b87ce46b8433fb3ef5575c8501d47b2511f51fd"