avoid broken version of DAV

debian/changelog

@@ -33,6 +33,7 @@ git-annex (5.20140128) UNRELEASED; urgency=medium
     and external special remotes.
   * Android: Avoid crashing when unable to set file mode for ssh config file
     due to Android filesystem horribleness.
+  * Avoid building with DAV 0.6 which is badly broken (see #737902).
 
  -- Joey Hess <joeyh@debian.org>  Tue, 28 Jan 2014 13:57:19 -0400
 

doc/bugs/Creating_a_box.com_repository_fails.mdwn

@@ -31,3 +31,7 @@ ubuntu 13.10 (saucy), i686
 
 # End of transcript or log.
 """]]
+
+> Seems that [DAV-0.6 is badly broken](http://bugs.debian.org/737902).
+> I have adjusted the cabal file to refuse to build with that broken
+> version.

git-annex.cabal

@@ -131,7 +131,8 @@ Executable git-annex
     CPP-Options: -DWITH_S3
 
   if flag(WebDAV)
-    Build-Depends: DAV (>= 0.3), http-conduit, xml-conduit, http-types
+    Build-Depends: DAV ((>= 0.3 && < 0.6) || > 0.6),
+     http-conduit, xml-conduit, http-types
     CPP-Options: -DWITH_WEBDAV
 
   if flag(Assistant) && ! os(solaris)