diff --git a/lustrec.opam b/lustrec.opam index 612952caffe9635b6754d22d3dac08cdd68dc0ba..1399504a0389072beb463d0b532a4c935abd4ca7 100644 --- a/lustrec.opam +++ b/lustrec.opam @@ -26,6 +26,8 @@ depends: [ "yojson" "zarith" "dune-site" + "re" {with-test} + "yojson" {with-test} "conf-mpfr" {with-test} "conf-cmake" {with-test} "conf-openjdk" {with-test}