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