daewok/clpm-ci:0b7490a793b6686098c90de36f5b601a18848fb14516be56962666addf840803

RUN set -x     && GNUPGHOME="$(mktemp -d)"     && export GNUPGHOME     && (gpg --batch --keyserver ha.pool.sks-keyservers.net --recv-keys "$SBCL_SIGNING_KEY"         || gpg --batch --keyserver keyserver.ubuntu.com --recv-keys "$SBCL_SIGNING_KEY"        )     && curl -fsSL "https://downloads.sourceforge.net/project/sbcl/sbcl/${SBCL_VERSION}/sbcl-${SBCL_VERSION}-crhodes.asc" > "sbcl-${SBCL_VERSION}-crhodes.asc"     && gpg --batch --verify "sbcl-${SBCL_VERSION}-crhodes.asc"     && gpg --batch --decrypt "sbcl-${SBCL_VERSION}-crhodes.asc" > "sbcl-${SBCL_VERSION}-crhodes.txt"     && curl -fsSL "https://downloads.sourceforge.net/project/sbcl/sbcl/${SBCL_VERSION}/sbcl-${SBCL_VERSION}-source.tar.bz2" > "sbcl-${SBCL_VERSION}-source.tar.bz2"     && bunzip2 "sbcl-${SBCL_VERSION}-source.tar.bz2"     && grep "sbcl-${SBCL_VERSION}-source.tar" "sbcl-${SBCL_VERSION}-crhodes.txt" > "${SBCL_VERSION}-sum-file.txt"     && sha256sum -c "${SBCL_VERSION}-sum-file.txt"     && tar xf "sbcl-${SBCL_VERSION}-source.tar"     && pkill -9 gpg-agent     && pkill -9 dirmngr     && rm -rf "$GNUPGHOME"