···

       
29
       
29
       
 
       
x-ci-accept-failures: [

     

       
30
       
30
       
 
       
  "centos-7" "oraclelinux-7" # C compiler is too old

     

       
31
       
31
       
 
       
]

     

       
32
       
32
       
+
       
conflicts: [

     

       
33
       
33
       
+
       
  "ocaml-option-bytecode-only"

     

       
34
       
34
       
+
       
]

     

       
32
       
35
       
 
       
synopsis: "Z3 solver"

     

       
33
       
36
       
 
       
url {

     

       
34
       
37
       
 
       
  src: