From 94ce5284693e7330705d655cc49ce296bad87fb3 Mon Sep 17 00:00:00 2001 From: Ansgar Burchardt Date: Tue, 25 Oct 2016 13:49:14 +0200 Subject: [PATCH] Document `duneci/base:16.10` image. --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 7133223..81bbc35 100644 --- a/README.md +++ b/README.md @@ -12,6 +12,7 @@ The current images are: | duneci/base:8-backports | duneci/base:8 | Debian 8 with gcc 4.9.2, clang 3.8 (backport), cmake 3.0.2 | | duneci/base:9 | debian:9 | Debian 9 with gcc 6.1.1, clang 3.8, cmake 3.6.2 | | duneci/base:16.04 | ubuntu:16.04 | Ubuntu LTS 16.04 with gcc 5.4.0, clang 3.8.0, cmake 3.5.1 | +| duneci/base:16.10 | ubuntu:16.10 | Ubuntu LTS 16.10 with gcc 6.2.0, clang 3.8.1, cmake 3.5.2 | | duneci/dune:2.3 | duneci/base:8 | DUNE 2.3 core modules from Debian | | duneci/dune:2.4 | duneci/base:9 | DUNE 2.4 core modules from Debian | | duneci/dune:git | duneci/base:9 | DUNE 3.0-dev snapshot | -- GitLab