From c9f8a16896407628bd0a73d7dd1b5b4a06b02c97 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Wed, 6 Oct 2021 14:20:46 +0200
Subject: [PATCH] builder is released to opam, remove pin-depends

---
 builder-web.opam | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/builder-web.opam b/builder-web.opam
index 352d601..c2264e9 100644
--- a/builder-web.opam
+++ b/builder-web.opam
@@ -48,7 +48,3 @@ depends: [
 ]
 
 synopsis: "Web interface for builder"
-
-pin-depends: [
-  ["builder.dev" "git+https://github.com/roburio/builder.git"]
-]