From d5c387cfa5fba31e1106f375f506bdcdc04e1b45 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= <reynir@reynir.dk>
Date: Fri, 19 Nov 2021 11:33:39 +0100
Subject: [PATCH] Upstream changes from opam-repository

---
 webauthn.opam | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/webauthn.opam b/webauthn.opam
index e0b8835..db5202d 100644
--- a/webauthn.opam
+++ b/webauthn.opam
@@ -32,6 +32,10 @@ depends: [
   "cbor" {>= "0.5"}
 ]
 
+conflicts: [
+  "result" {< "1.5"}
+]
+
 synopsis: "WebAuthn - authenticating users to services using public key cryptography"
 description: """
 WebAuthn is a web standard published by the W3C. Its goal is to