From bd0e63c74d4fe0208462e2fb3d040b78c5343cdd Mon Sep 17 00:00:00 2001 From: Adrien Bourmault Date: Tue, 21 Mar 2023 22:39:48 +0000 Subject: [PATCH] Update README.md --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index c07c453..0cff616 100644 --- a/README.md +++ b/README.md @@ -19,7 +19,8 @@ sudo apt install belenios-tool #### Installation des dépendances ``` -sudo apt install opam +sudo apt install opam libgmp-dev pkg-config + opam init opam install calendar eliom csv ```