diff --git a/dodona-scheme.dockerfile b/dodona-scheme.dockerfile index 31039bd..fcd04b8 100644 --- a/dodona-scheme.dockerfile +++ b/dodona-scheme.dockerfile @@ -1,4 +1,4 @@ -FROM racket/racket:8.10 +FROM racket/racket:8.11 # add generic tools RUN apt-get --allow-releaseinfo-change update \