anil.recoil.org / opam-repository
this repo has no description
fork atom

Exclude opensuse-15.6; gcc too old

Christoph M. Wintersteiger 98c78fe4 37bdd901

options
unified split
Changed files
+1 -1
packages
z3
z3.4.13.2
opam
+1 -1
packages/z3/z3.4.13.2/opam 
···

       
30

       
 

       
  "conf-c++" {build}


     

       
31

       
 

       
]


     

       
32

       
 

       
x-ci-accept-failures: [


     

       
33

       
-

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


     

       
34

       
 

       
]


     

       
35

       
 

       
conflicts: [


     

       
36

       
 

       
  "ocaml-option-bytecode-only"


     
···

       
30

       
 

       
  "conf-c++" {build}


     

       
31

       
 

       
]


     

       
32

       
 

       
x-ci-accept-failures: [


     

       
33

       
+

       
  "centos-7" "oraclelinux-7" "opensuse-15.6" # C compiler is too old


     

       
34

       
 

       
]


     

       
35

       
 

       
conflicts: [


     

       
36

       
 

       
  "ocaml-option-bytecode-only"