From bb97df9c00b70675a20e4f39cd4130600ff92ce9 Mon Sep 17 00:00:00 2001 From: Adrien Bourmault Date: Tue, 21 Mar 2023 23:14:14 +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 e3ef2c3..167778a 100644 --- a/README.md +++ b/README.md @@ -22,7 +22,8 @@ sudo apt install belenios-tool sudo apt install opam libgmp-dev pkg-config libpcre3-dev libssl-dev zlib1g-dev opam init -opam install calendar eliom csv +opam install calendar eliom csv base64 hex dune atdgen zarith cryptokit calendar cmdliner sqlite3 csv ocsipersist-sqlite eliom gettext-camomile ocamlnet + ``` Note : il peut ĂȘtre nĂ©cessaire d'augmenter la valeur du timeout OPAMSOLVERTIMEOUT (variable d'environnement).