D

docker-gcc

Docker image based of Debian Stretch that's being used for our CI.