Corentin Le Molgat 8ff169ff17 docker: Centos7 -> devtoolset-7-toolchain-centos7 ...

default Centos7 comes with gcc 4.8.5 which can't compile or-tools

2019-03-25 14:20:39 +01:00

..

centos-7

docker: Centos7 -> devtoolset-7-toolchain-centos7

2019-03-25 14:20:39 +01:00

debian-9

…

ubuntu-16.04

…

ubuntu-18.04

…

ubuntu-18.10

…