diff --git a/contrib/arm64-gpl.Dockerfile b/contrib/arm64-gpl.Dockerfile
index 7b7abf0114a..faaf856d480 100644
--- a/contrib/arm64-gpl.Dockerfile
+++ b/contrib/arm64-gpl.Dockerfile
@@ -25,3 +25,8 @@ WORKDIR /cvc5/build
 
 RUN make -j`nproc`
 RUN make install
+
+WORKDIR /cvc5
+
+RUN cp COPYING ./install/ && \
+    cp -r licenses ./install/