Gnome 3 should not be a release blocker
Revert "udisks1: bump to fix CVE-2014-0004"

This reverts commit 0194a44d63c613065bb5c55d50470881c00563c2 because
it breaks udisks on 13.10 (e.g. running "udisks --enumerate" will
print "Unit udisks.service failed to load").

(cherry picked from commit d7daf1a47f0d3d759555a3f0a0f09398c69c6b28)
Apply patch for CVE-2014-0004 to udisks-1.0.4

(cherry picked from commit 3b1f9899618f81794ce8b88fe4eaa867e549eb06)
Add a regression test for udisks
Remove ignored argument to sync
boolector: add version 1.5 and 1.6

There are two versions here because beginning with 1.6.0, Boolector has
a more restrictive, unfree license which disallows commercial use.

As a result, Boolector 1.5 is the default 'boolector' expression.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
linux: Update to 3.13.9
grsecurity: Update stable and test patches

stable: 3.0-3.2.56-201404012135 -> 3.0-3.2.56-201404062126
test:   3.0-3.13.8-201404011912 -> 3.0-3.13.9-201404062127
boolector: add version 1.5 and 1.6

There are two versions here because beginning with 1.6.0, Boolector has
a more restrictive, unfree license which disallows commercial use.

As a result, Boolector 1.5 is the default 'boolector' expression.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Merge pull request #2150 from thoughtpolice/boolector

boolector: add version 1.5 and 1.6
haskell-git-annex: update to version 5.20140405
haskell-DAV: update to version 0.6.2
haskell-HStringTemplate: update to version 0.7.3
haskell-Hipmunk: update to version 5.2.0.13
haskell-TypeCompose: update to version 0.9.10
haskell-crypto-conduit: update to version 0.5.3
haskell-cryptohash-cryptoapi: update to version 0.1.3
haskell-fay-base: update to version 0.19.1.1
haskell-fay: update to version 0.19.1.2
haskell-hakyll: update to version 4.5.0.2