Skip to content

Commit 051c511

Browse files
simongregersensimongregersen
committed
update Docker file
1 parent 948f65e commit 051c511

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

‎docker_image/Dockerfile‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -19,13 +19,13 @@ RUN opam repo add --set-default iris-dev https://gitlab.mpi-sws.org/iris/opam.gi
1919
RUN opam switch create stable ocaml.5.2.0
2020
RUN eval $(opam env)
2121
RUN opam update
22-
RUN opam install coq.8.19.2 vscoq-language-server
23-
RUN opam install coq-iris.4.2.0 coq-iris-heap-lang
22+
RUN opam install coq.8.20.1 vscoq-language-server
23+
RUN opam install coq-iris.4.3.0 coq-iris-heap-lang
2424

2525
RUN opam switch create unstable ocaml.5.2.0
2626
RUN eval $(opam env)
2727
RUN opam update
28-
RUN opam install coq.8.19.2 vscoq-language-server
28+
RUN opam install coq.8.20.1 vscoq-language-server
2929
RUN opam install coq-iris coq-iris-heap-lang coq-iris-unstable
3030

3131
RUN opam switch stable

0 commit comments

Comments
 (0)