Corentin Le Molgat 3f0a13ca47 Docker: Update manylinux package generation (Fix #1218)

2019-04-30 18:26:08 +02:00

..

test

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

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

build-manylinux1.sh

Docker: Update manylinux package generation (Fix #1218)

2019-04-30 18:26:08 +02:00

centos-7.Dockerfile

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

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

debian-9.Dockerfile

…

Makefile

docker: update Makfile script

2019-04-16 10:08:49 +02:00

manylinux1.Dockerfile

Docker: use the official manylinux2010 container

2019-04-15 17:26:24 +02:00

minizinc-challenge.Dockerfile

…

ubuntu-16.04.Dockerfile

…

ubuntu-18.04.Dockerfile

…

ubuntu-18.10.Dockerfile

…