From b0e42695329fe1a691822d5d456abf9dfb3811d7 Mon Sep 17 00:00:00 2001 From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr> Date: Thu, 7 Oct 2021 15:07:58 +0200 Subject: [PATCH] build: add opam deps --- sasa.opam | 2 ++ 1 file changed, 2 insertions(+) diff --git a/sasa.opam b/sasa.opam index f58fb68a..2d940345 100644 --- a/sasa.opam +++ b/sasa.opam @@ -21,6 +21,8 @@ depends: [ "dune" { >= "2.0" } "ocamlgraph" "lutils" + "psq" + "functory" "rdbg" { >= "1.194" } ] depopts: [ -- GitLab