···

       
36
       
36
       
 
       
  ]

     

       
37
       
37
       
 
       
]

     

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

     

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

     

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

     

       
40
       
40
       
 
       
url {

     

       
41
       
41
       
 
       
  src:

     

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

     

···

       
35
       
35
       
 
       
  ]

     

       
36
       
36
       
 
       
]

     

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

     

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

     

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

     

       
39
       
39
       
 
       
url {

     

       
40
       
40
       
 
       
  src:

     

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