From 17bd38706483cef0f353d2c1bc9a7287729cba14 Mon Sep 17 00:00:00 2001
From: Cesar Strauss <cestrauss@gmail.com>
Date: Thu, 1 Jan 2026 10:36:26 -0300
Subject: [PATCH] Reduce image size by cleaning opam cache.

Hopefully this sufficiently reduces the object size to allow it to
upload to forgejo successfully.
---
 Containerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Containerfile b/Containerfile
index 26d191e..766ebb2 100644
--- a/Containerfile
+++ b/Containerfile
@@ -122,5 +122,6 @@ RUN git clone --depth=1 --recursive --branch=z3-4.13.3 https://git.libre-chip.or
 # https://gitlab.com/rocq-community/docker-rocq/-/blob/c4507ab5c137227700dac7e35fb5c0747fcd272f/rocq/stable/Dockerfile (MIT license)
 RUN opam init --auto-setup --yes --disable-sandboxing \
     && eval $(opam env) \
-    && opam pin -y add rocq-prover 9.0.0
+    && opam pin -y add rocq-prover 9.0.0 \
+    && opam clean -a -r -c -s --logs
 ENV PATH=/root/.opam/default/bin:$PATH
-- 
2.49.1