daewok/clpm-ci:e59379a5901c1560d5a689113993528dd595f0573d6a941e998e1086e53fe259

RUN set -x     && GNUPGHOME="$(mktemp -d)"     && export GNUPGHOME     && (gpg --batch --keyserver ha.pool.sks-keyservers.net --recv-keys "$daewok_signing_key"         || gpg --batch --keyserver keyserver.ubuntu.com --recv-keys "$daewok_signing_key"        )     && sed -i -e "s/CFLAGS += -marm -march=armv5/CFLAGS += -marm/" src/runtime/Config.arm-linux     && curl -fsSL "https://www.timmons.dev/static/patches/sbcl/$SBCL_VERSION/static-executable-support-v2.patch" > static-executable-support.patch     && curl -fsSL "https://www.timmons.dev/static/patches/sbcl/$SBCL_VERSION/static-executable-support-v2.patch.asc" > static-executable-support.patch.asc     && gpg --batch --verify static-executable-support.patch.asc static-executable-support.patch     && patch -p1 < static-executable-support.patch     && rm static-executable-support.patch static-executable-support.patch.asc     && echo "\"$SBCL_VERSION-static-executable-v2\"" > version.lisp-expr     && pkill -9 gpg-agent     && pkill -9 dirmngr     && rm -rf "$GNUPGHOME"