From e68962ac483095cd793fcb0442a5a0ae1535a26b Mon Sep 17 00:00:00 2001
From: xaki23 <tvguho-knxv23-tct.e23f2f1b@hashmail.org>
Date: Mon, 13 Jan 2020 20:48:46 +0100
Subject: [PATCH] support mirage-3.7 via qubes-builder

---
 Makefile.builder | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile.builder b/Makefile.builder
index 23827af..30e4cec 100644
--- a/Makefile.builder
+++ b/Makefile.builder
@@ -3,5 +3,6 @@ OCAML_VERSION ?= 4.08.1
 SOURCE_BUILD_DEP := firewall-build-dep
 
 firewall-build-dep:
-	opam pin -y add mirage 3.5.2
+	opam install -y depext
+	opam depext -i -y mirage.3.7.4 lwt.4.5.0