Update BLCR to version 0.8.5
Update HOL Light to revision 154
Update HOL Light to revision 155
releaseTools.nixBuild: Support builds with multiple outputs
Make the source of the titanium SDK configurable
libsoup: Update to 2.40.3
haskell-bmp: update to version 1.2.4.1
haskell-filestore: jailbreak to enable the build with the latest version of 'Diff'
haskell-Diff: update to version 0.3.0
haskell-HStringTemplate: update to version 0.7.0
haskell-SMTPClient: update to version 1.1.0
haskell-authenticate: update to version 1.3.2.4
haskell-gloss: update to version 1.7.8.2
haskell-graphviz: update to version 2999.16.0.0
haskell-hamlet: update to version 1.1.6.2
haskell-happstack-server: update to version 7.1.4
haskell-heist: update to version 0.11.0.1
haskell-http-reverse-proxy: update to version 0.1.1.2
haskell-monadcryptorandom: update to version 0.5.1
haskell-project-template: update to version 0.1.3