diff options
author | Joey Hess <joey@kitenet.net> | 2012-03-12 16:18:14 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-03-12 16:18:35 -0400 |
commit | 25809ce2e0861a54ec63a414037b95fe29acc6df (patch) | |
tree | 0aae10e37dc9c430ce4c182b686772f9504fb332 /git-annex.cabal | |
parent | faf3a94fa7dfaaf7f95477895c645ff793dcf2f4 (diff) |
finish bloom filters
Add tuning, docs, etc.
Not sure if status is the right place to remote size.. perhaps unused
should report the size and also warn if it sees more keys than the bloom
filter allows?
Diffstat (limited to 'git-annex.cabal')
-rw-r--r-- | git-annex.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-annex.cabal b/git-annex.cabal index 6efebc66e..278d87555 100644 --- a/git-annex.cabal +++ b/git-annex.cabal @@ -32,7 +32,7 @@ Executable git-annex unix, containers, utf8-string, network, mtl, bytestring, old-locale, time, pcre-light, extensible-exceptions, dataenc, SHA, process, hs3, json, HTTP, base >= 4.5, base < 5, monad-control, transformers-base, lifted-base, - IfElse, text, QuickCheck >= 2.1 + IfElse, text, QuickCheck >= 2.1, bloomfilter Other-Modules: Utility.StatFS, Utility.Touch Executable git-annex-shell |