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 @@ -34,7 +34,7 @@ RUN export GNUPGHOME="$(mktemp -d)" && \
34
34
ghc-${GHC} && \
35
35
rm -rf "$GNUPGHOME" /var/lib/apt/lists/*
36
36
37
- ARG STACK=2.7.1
37
+ ARG STACK=2.7.3
38
38
ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
39
39
ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
40
40
Original file line number Diff line number Diff line change @@ -34,7 +34,7 @@ RUN export GNUPGHOME="$(mktemp -d)" && \
34
34
ghc-${GHC} && \
35
35
rm -rf "$GNUPGHOME" /var/lib/apt/lists/*
36
36
37
- ARG STACK=2.7.1
37
+ ARG STACK=2.7.3
38
38
ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
39
39
ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
40
40
Original file line number Diff line number Diff line change @@ -34,7 +34,7 @@ RUN export GNUPGHOME="$(mktemp -d)" && \
34
34
ghc-${GHC} && \
35
35
rm -rf "$GNUPGHOME" /var/lib/apt/lists/*
36
36
37
- ARG STACK=2.7.1
37
+ ARG STACK=2.7.3
38
38
ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
39
39
ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
40
40
Original file line number Diff line number Diff line change @@ -34,7 +34,7 @@ RUN export GNUPGHOME="$(mktemp -d)" && \
34
34
ghc-${GHC} && \
35
35
rm -rf "$GNUPGHOME" /var/lib/apt/lists/*
36
36
37
- ARG STACK=2.7.1
37
+ ARG STACK=2.7.3
38
38
ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
39
39
ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
40
40
You can’t perform that action at this time.
0 commit comments