File tree 4 files changed +4
-4
lines changed
4 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -9,7 +9,7 @@ RUN apt-get update && \
9
9
ARG GHC=8.10.4
10
10
ARG DEBIAN_KEY=427CB69AAC9D00F2A43CAF1CBA3CBA3FFE22B574
11
11
ARG CABAL_INSTALL=3.4
12
- ARG STACK=2.5 .1
12
+ ARG STACK=2.7 .1
13
13
ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
14
14
ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
15
15
Original file line number Diff line number Diff line change @@ -9,7 +9,7 @@ RUN apt-get update && \
9
9
ARG GHC=8.10.4
10
10
ARG DEBIAN_KEY=427CB69AAC9D00F2A43CAF1CBA3CBA3FFE22B574
11
11
ARG CABAL_INSTALL=3.4
12
- ARG STACK=2.5 .1
12
+ ARG STACK=2.7 .1
13
13
ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
14
14
ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
15
15
Original file line number Diff line number Diff line change @@ -9,7 +9,7 @@ RUN apt-get update && \
9
9
ARG GHC=9.0.1
10
10
ARG DEBIAN_KEY=427CB69AAC9D00F2A43CAF1CBA3CBA3FFE22B574
11
11
ARG CABAL_INSTALL=3.4
12
- ARG STACK=2.5 .1
12
+ ARG STACK=2.7 .1
13
13
ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
14
14
ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
15
15
Original file line number Diff line number Diff line change @@ -9,7 +9,7 @@ RUN apt-get update && \
9
9
ARG GHC=9.0.1
10
10
ARG DEBIAN_KEY=427CB69AAC9D00F2A43CAF1CBA3CBA3FFE22B574
11
11
ARG CABAL_INSTALL=3.4
12
- ARG STACK=2.5 .1
12
+ ARG STACK=2.7 .1
13
13
ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
14
14
ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
15
15
You can’t perform that action at this time.
0 commit comments