diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-10-07 04:05:14 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-10-07 04:05:14 -0400 |
| commit | c0caa37187e9c062825dd6d5cb6be2dfa63bc7dd (patch) | |
| tree | f3e18559eab44b03e29da13df9163b1a25af72dc /debian/control | |
| parent | 25dbffe682ba78d0a6dccaa9c64848600e729028 (diff) | |
use vector in local status
Thought was that this would be faster than a map, since a vector can be
updated more efficiently. It turns out to not seem to matter; runtime and
memory usage are basically identical.
Diffstat (limited to 'debian/control')
| -rw-r--r-- | debian/control | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/control b/debian/control index 911974604..f89b6ff58 100644 --- a/debian/control +++ b/debian/control @@ -8,6 +8,7 @@ Build-Depends: libghc-missingh-dev, libghc-hslogger-dev, libghc-pcre-light-dev, + libghc-vector-dev, libghc-sha-dev, libghc-cryptohash-dev, libghc-regex-tdfa-dev [!mips !mipsel !s390], |