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