From 9534655554c48f92d713726897633d0606965901 Mon Sep 17 00:00:00 2001
From: Alexey Zabelin <hello@alexeyzabelin.com>
Date: Sun, 5 Jan 2020 12:25:37 -0800
Subject: [PATCH] Disable DAV due to a build failure, #5054

---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 6a7b00fe..190e67c6 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1163,7 +1163,7 @@ packages:
         - hOpenPGP < 0 # via bzlib
         - openpgp-asciiarmor
         - MusicBrainz
-        - DAV
+        - DAV < 0 # https://github.com/commercialhaskell/stackage/issues/5054
         - hopenpgp-tools < 0 # via graphviz
         - opensource
         - debian < 0 # via bzlib