File tree 4 files changed +16
-12
lines changed
4 files changed +16
-12
lines changed Original file line number Diff line number Diff line change @@ -9,9 +9,6 @@ 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.7.1
13
- ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
14
- ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
15
12
16
13
RUN export GNUPGHOME="$(mktemp -d)" && \
17
14
gpg --batch --keyserver keyserver.ubuntu.com --recv-keys ${DEBIAN_KEY} && \
@@ -34,6 +31,10 @@ RUN export GNUPGHOME="$(mktemp -d)" && \
34
31
zlib1g-dev && \
35
32
rm -rf "$GNUPGHOME" /var/lib/apt/lists/*
36
33
34
+ ARG STACK=2.7.1
35
+ ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
36
+ ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
37
+
37
38
RUN export GNUPGHOME="$(mktemp -d)" && \
38
39
gpg --batch --keyserver ha.pool.sks-keyservers.net --recv-keys ${STACK_KEY} && \
39
40
gpg --batch --keyserver ha.pool.sks-keyservers.net --recv-keys ${STACK_RELEASE_KEY} && \
Original file line number Diff line number Diff line change @@ -9,9 +9,6 @@ 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.7.1
13
- ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
14
- ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
15
12
16
13
RUN export GNUPGHOME="$(mktemp -d)" && \
17
14
gpg --batch --keyserver keyserver.ubuntu.com --recv-keys ${DEBIAN_KEY} && \
@@ -34,6 +31,10 @@ RUN export GNUPGHOME="$(mktemp -d)" && \
34
31
zlib1g-dev && \
35
32
rm -rf "$GNUPGHOME" /var/lib/apt/lists/*
36
33
34
+ ARG STACK=2.7.1
35
+ ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
36
+ ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
37
+
37
38
RUN export GNUPGHOME="$(mktemp -d)" && \
38
39
gpg --batch --keyserver ha.pool.sks-keyservers.net --recv-keys ${STACK_KEY} && \
39
40
gpg --batch --keyserver ha.pool.sks-keyservers.net --recv-keys ${STACK_RELEASE_KEY} && \
Original file line number Diff line number Diff line change @@ -9,9 +9,6 @@ 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.7.1
13
- ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
14
- ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
15
12
16
13
RUN export GNUPGHOME="$(mktemp -d)" && \
17
14
gpg --batch --keyserver keyserver.ubuntu.com --recv-keys ${DEBIAN_KEY} && \
@@ -34,6 +31,10 @@ RUN export GNUPGHOME="$(mktemp -d)" && \
34
31
zlib1g-dev && \
35
32
rm -rf "$GNUPGHOME" /var/lib/apt/lists/*
36
33
34
+ ARG STACK=2.7.1
35
+ ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
36
+ ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
37
+
37
38
RUN export GNUPGHOME="$(mktemp -d)" && \
38
39
gpg --batch --keyserver ha.pool.sks-keyservers.net --recv-keys ${STACK_KEY} && \
39
40
gpg --batch --keyserver ha.pool.sks-keyservers.net --recv-keys ${STACK_RELEASE_KEY} && \
Original file line number Diff line number Diff line change @@ -9,9 +9,6 @@ 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.7.1
13
- ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
14
- ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
15
12
16
13
RUN export GNUPGHOME="$(mktemp -d)" && \
17
14
gpg --batch --keyserver keyserver.ubuntu.com --recv-keys ${DEBIAN_KEY} && \
@@ -34,6 +31,10 @@ RUN export GNUPGHOME="$(mktemp -d)" && \
34
31
zlib1g-dev && \
35
32
rm -rf "$GNUPGHOME" /var/lib/apt/lists/*
36
33
34
+ ARG STACK=2.7.1
35
+ ARG STACK_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
36
+ ARG STACK_RELEASE_KEY=2C6A674E85EE3FB896AFC9B965101FF31C5C154D
37
+
37
38
RUN export GNUPGHOME="$(mktemp -d)" && \
38
39
gpg --batch --keyserver ha.pool.sks-keyservers.net --recv-keys ${STACK_KEY} && \
39
40
gpg --batch --keyserver ha.pool.sks-keyservers.net --recv-keys ${STACK_RELEASE_KEY} && \
You can’t perform that action at this time.
0 commit comments