fix #740010 properly
This commit is contained in:
parent
003fc2b7e1
commit
06142f4943
2 changed files with 10 additions and 13 deletions
|
@ -134,7 +134,7 @@ Executable git-annex
|
|||
|
||||
if flag(WebDAV)
|
||||
Build-Depends: DAV ((>= 0.3 && < 0.6) || > 0.6),
|
||||
http-conduit, xml-conduit, http-types, lifted-base
|
||||
http-client, http-conduit, http-types, lifted-base
|
||||
CPP-Options: -DWITH_WEBDAV
|
||||
|
||||
if flag(Assistant) && ! os(solaris)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue