Skip to content

Commit

Permalink
and yet more
Browse files Browse the repository at this point in the history 
Signed-off-by: Sacha Ayoun <[email protected]>
  • Loading branch information
@giltho
giltho committed Jun 14, 2024
1 parent a843473 commit 1f0c70d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Dockerfile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ ARG DEBIAN_FRONTEND=noninteractive

RUN sudo apt-get update

RUN sudo apt-get install libgmp-dev pkg-config python3 -y
RUN sudo apt-get install libgmp-dev pkg-config libsqlite3-dev python3 -y

RUN mkdir /home/opam/app

Expand Down

0 comments on commit 1f0c70d

Please sign in to comment.