From 3c69dc0733c63dacca063593c945e5e3e85d4f4c Mon Sep 17 00:00:00 2001 From: Dominique Benielli <dominique.benielli@lis-lab.fr> Date: Fri, 7 Feb 2020 10:29:55 +0100 Subject: [PATCH] Update Dockerfile_ubuntu_18.04 --- docker/Dockerfile_ubuntu_18.04 | 1 + 1 file changed, 1 insertion(+) diff --git a/docker/Dockerfile_ubuntu_18.04 b/docker/Dockerfile_ubuntu_18.04 index 309a621..307cdc2 100644 --- a/docker/Dockerfile_ubuntu_18.04 +++ b/docker/Dockerfile_ubuntu_18.04 @@ -16,6 +16,7 @@ RUN apt-get update && \ python3-sphinx-gallery \ python3-matplotlib \ python3-pil \ + python3-cvxopt \ && \ apt-get clean RUN apt-get install -y --no-install-recommends locales && \ -- GitLab