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 && \
77ARG GHC=8.10.2
88ARG DEBIAN_KEY=427CB69AAC9D00F2A43CAF1CBA3CBA3FFE22B574
99ARG CABAL_INSTALL=3.2
10- ARG STACK=2.3.3
10+ ARG STACK=2.5.1
1111ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
1212ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
1313
Original file line number Diff line number Diff line change @@ -7,7 +7,7 @@ RUN apt-get update && \
77ARG GHC=8.10.2
88ARG DEBIAN_KEY=427CB69AAC9D00F2A43CAF1CBA3CBA3FFE22B574
99ARG CABAL_INSTALL=3.2
10- ARG STACK=2.3.3
10+ ARG STACK=2.5.1
1111ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
1212ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
1313
Original file line number Diff line number Diff line change @@ -7,7 +7,7 @@ RUN apt-get update && \
77ARG GHC=8.8.4
88ARG DEBIAN_KEY=427CB69AAC9D00F2A43CAF1CBA3CBA3FFE22B574
99ARG CABAL_INSTALL=3.2
10- ARG STACK=2.3.3
10+ ARG STACK=2.5.1
1111ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
1212ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
1313
Original file line number Diff line number Diff line change @@ -7,7 +7,7 @@ RUN apt-get update && \
77ARG GHC=8.8.4
88ARG DEBIAN_KEY=427CB69AAC9D00F2A43CAF1CBA3CBA3FFE22B574
99ARG CABAL_INSTALL=3.2
10- ARG STACK=2.3.3
10+ ARG STACK=2.5.1
1111ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
1212ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
1313
You can’t perform that action at this time.
0 commit comments