From d67aedd5aa9053f58ddf8d81ea2ca87dd3dc3351 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Tue, 1 Feb 2022 12:03:09 +0000 Subject: [PATCH] Add modulectomy, opam-graph as opam deps --- builder-web.opam | 2 ++ 1 file changed, 2 insertions(+) diff --git a/builder-web.opam b/builder-web.opam index e6c1638..5a30c15 100644 --- a/builder-web.opam +++ b/builder-web.opam @@ -47,6 +47,8 @@ depends: [ "uri" "fmt" {>= "0.8.7"} "omd" + "modulectomy" + "opam-graph" ] synopsis: "Web interface for builder"