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