Update BLCR to version 0.8.5
Update HOL Light to revision 154
Update HOL Light to revision 155
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
haskell-repa-io: update to version 3.2.3.2
haskell-shakespeare-css: update to version 1.0.2.1
haskell-shakespeare: update to version 1.0.3.1