From 338fa9dea32b67a2a8aac34058d1a0b201024918 Mon Sep 17 00:00:00 2001 From: rand00 Date: Thu, 10 Feb 2022 17:23:19 +0100 Subject: [PATCH] builder-web.opam: Modulectomy pin-depend now points to master, as changes got merged --- builder-web.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/builder-web.opam b/builder-web.opam index 304ea83..1bfbd65 100644 --- a/builder-web.opam +++ b/builder-web.opam @@ -60,6 +60,6 @@ Produced binaries can be downloaded and executed. """ pin-depends: [ - ["modulectomy.dev" "git+https://github.com/roburio/modulectomy.git#20211213_implementing_UI_scale_in_modulectomy.treemap"] + ["modulectomy.dev" "git+https://github.com/roburio/modulectomy.git"] ["opam-graph.dev" "git+https://git.robur.io/robur/opam-graph.git"] ]