diff options
author | Joey Hess <joey@kitenet.net> | 2014-08-07 15:45:56 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2014-08-07 17:32:57 -0400 |
commit | 2b944bf37c3d2871d8544ff722d4e91a95e20771 (patch) | |
tree | 059ad94526655fb6853c7d5009e84a78d9fd7a23 /debian/control | |
parent | 79e7ac8abc030637209486e09dc0ede60c74bb02 (diff) |
use DAV monad
This speeds up the webdav special remote somewhat, since it often now
groups actions together in a single http connection when eg, storing a
file.
Legacy chunks are still supported, but have not been sped up.
This depends on a as-yet unreleased version of DAV.
This commit was sponsored by Thomas Hochstein.
Diffstat (limited to 'debian/control')
-rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index e37f7d05e..66d340e3c 100644 --- a/debian/control +++ b/debian/control @@ -14,7 +14,7 @@ Build-Depends: libghc-dataenc-dev, libghc-utf8-string-dev, libghc-hs3-dev (>= 0.5.6), - libghc-dav-dev (>= 0.6.1) [amd64 i386 kfreebsd-amd64 kfreebsd-i386 powerpc], + libghc-dav-dev (>= 0.8) [amd64 i386 kfreebsd-amd64 kfreebsd-i386 powerpc], libghc-quickcheck2-dev, libghc-monad-control-dev (>= 0.3), libghc-exceptions-dev, |