From 993d1171c227bd7c8e0e7554ce949697ae7233a0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= <reynir@reynir.dk>
Date: Tue, 1 Feb 2022 11:49:44 +0000
Subject: [PATCH] Add pin-depends on opam-graph, modulectomy

Until they are released.
---
 builder-web.opam | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/builder-web.opam b/builder-web.opam
index e205641..e6c1638 100644
--- a/builder-web.opam
+++ b/builder-web.opam
@@ -55,3 +55,8 @@ Builder-web takes in submissions of builds, typically from [builder](https://git
 Produced binaries can be downloaded and executed.
 [builds.robur.coop](https://builds.robur.coop/) itself runs builder-web.
 """
+
+pin-depends: [
+  ["modulectomy.dev" "git+https://github.com/roburio/modulectomy.git#20211213_implementing_UI_scale_in_modulectomy.treemap"]
+  ["opam-graph.dev" "git+https://git.robur.io/robur/opam-graph.git"]
+]