@@ -1471,6 +1471,9 @@ packages:
14711471 # https://github.com/fpco/stackage/issues/839
14721472 - freenect < 1.2.1
14731473
1474+ # https://github.com/fpco/stackage/issues/841
1475+ - DAV < 1.1
1476+
14741477# Package flags are applied to individual packages, and override the values of
14751478# global-flags
14761479package-flags: