Fix to Coq Dockerfile.

apetcher-amazon · Apr 8, 2024 · 691274b · 691274b
1 parent 65d26d0
commit 691274b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Dockerfile.coq b/Dockerfile.coq
@@ -20,6 +20,7 @@ RUN opam init --auto-setup --yes --disable-sandboxing \
    && opam install -vv -y -j "$(nproc)" coq.8.15.1 \
    && opam repo add coq-released https://coq.inria.fr/opam/released \
    && opam install -y coq-bits \
+   && opam install -y coq-itree.5.1.2 \
    && opam pin -y entree-specs https://github.com/GaloisInc/entree-specs.git#52c4868f1f65c7ce74e90000214de27e23ba98fb
 
 ADD SAW/scripts/x86_64 /lc/scripts