From 201c82e8373435e85526cf6db3876d52b372a91d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= <reynir@reynir.dk>
Date: Thu, 29 Aug 2024 10:30:59 +0200
Subject: [PATCH] Pin builder

Due to builder now depending on versions that will make builder-web
break...
---
 packages/builder.0.3.99~dev/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/builder.0.3.99~dev/opam b/packages/builder.0.3.99~dev/opam
index 789d807..75ea149 100644
--- a/packages/builder.0.3.99~dev/opam
+++ b/packages/builder.0.3.99~dev/opam
@@ -44,5 +44,5 @@ on the local file system or upload them to a remote server via http.
 See https://builds.robur.coop for the live web frontend (builder-web).
 """
 url {
-  src: "git+https://github.com/robur-coop/builder.git"
+  src: "git+https://github.com/robur-coop/builder.git#6a2682c26259ebe8a05c671ce526d1e23c76f7ea"
 }
-- 
2.46.0