Update BLCR to version 0.8.5
Update HOL Light to revision 154
Update HOL Light to revision 155
ghc-with-packages.nix: include man pages in the generated profile
xmonad: install man page into the proper location
flashplayer-11: Update to version 11.2.202.262.

This update contains security fixes for two vulnerabilities, for details please
have a look at:

http://www.adobe.com/support/security/bulletins/apsb13-04.html

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
xcodeenv: Allow app names with with spaces in them
haskell-hsdns: update to version 1.6
haskell-hsyslog: update to version 1.5
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