diff --git a/Dockerfile b/Dockerfile index a0de991..0ec212e 100644 --- a/Dockerfile +++ b/Dockerfile @@ -54,7 +54,7 @@ RUN gpg --batch --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys EAF2A9A722 # ghcup: ARG GHC=9.2.8 -ARG CABAL=3.10.1.0 +ARG CABAL=3.12.1.0 ENV BOOTSTRAP_HASKELL_NONINTERACTIVE=1 ENV BOOTSTRAP_HASKELL_GHC_VERSION=${GHC} ENV BOOTSTRAP_HASKELL_CABAL_VERSION=${CABAL}