File tree Expand file tree Collapse file tree 4 files changed +4
-4
lines changed Expand file tree Collapse file tree 4 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -7,7 +7,7 @@ RUN apt-get update && \
7
7
ARG GHC=8.10.2
8
8
ARG DEBIAN_KEY=427CB69AAC9D00F2A43CAF1CBA3CBA3FFE22B574
9
9
ARG CABAL_INSTALL=3.2
10
- ARG STACK=2.3.3
10
+ ARG STACK=2.5.1
11
11
ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
12
12
ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
13
13
Original file line number Diff line number Diff line change @@ -7,7 +7,7 @@ RUN apt-get update && \
7
7
ARG GHC=8.10.2
8
8
ARG DEBIAN_KEY=427CB69AAC9D00F2A43CAF1CBA3CBA3FFE22B574
9
9
ARG CABAL_INSTALL=3.2
10
- ARG STACK=2.3.3
10
+ ARG STACK=2.5.1
11
11
ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
12
12
ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
13
13
Original file line number Diff line number Diff line change @@ -7,7 +7,7 @@ RUN apt-get update && \
7
7
ARG GHC=8.8.4
8
8
ARG DEBIAN_KEY=427CB69AAC9D00F2A43CAF1CBA3CBA3FFE22B574
9
9
ARG CABAL_INSTALL=3.2
10
- ARG STACK=2.3.3
10
+ ARG STACK=2.5.1
11
11
ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
12
12
ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
13
13
Original file line number Diff line number Diff line change @@ -7,7 +7,7 @@ RUN apt-get update && \
7
7
ARG GHC=8.8.4
8
8
ARG DEBIAN_KEY=427CB69AAC9D00F2A43CAF1CBA3CBA3FFE22B574
9
9
ARG CABAL_INSTALL=3.2
10
- ARG STACK=2.3.3
10
+ ARG STACK=2.5.1
11
11
ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
12
12
ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
13
13
You can’t perform that action at this time.
0 commit comments