From 535e3c33fa0d9ede24d240ac79cfd0c0c9557567 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= <reynir@reynir.dk>
Date: Thu, 7 Jul 2022 17:34:54 +0200
Subject: [PATCH] Update builder-web.opam

New test dependencies, remove old unnecessary pins
---
 builder-web.opam | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/builder-web.opam b/builder-web.opam
index fa87dd3..c4e164c 100644
--- a/builder-web.opam
+++ b/builder-web.opam
@@ -29,7 +29,6 @@ depends: [
   "pbkdf"
   "mirage-crypto-rng"
   "scrypt-kdf"
-  "alcotest" {with-test}
   "opam-core"
   "opam-format" {>= "2.1.0"}
   "metrics" {>= "0.3.0"}
@@ -51,6 +50,9 @@ depends: [
   "owee"
   "solo5-elftool" {>= "0.3.0"}
   "decompress"
+  "alcotest" {with-test}
+  "ppx_deriving" {with-test}
+  "ppx_deriving_yojson" {with-test}
 ]
 
 synopsis: "Web interface for builder"
@@ -59,8 +61,3 @@ 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"]
-  ["opam-graph.dev" "git+https://git.robur.io/robur/opam-graph.git"]
-]