Update BLCR to version 0.8.5
Update HOL Light to revision 154
Update HOL Light to revision 155
haskell-HTTP: update to version 4000.2.8
petidomo: update to version 4.3
nixUnstable: Update to 1.4pre3056_79a3ba7
types.nix: Add a ‘lines’ type

This is like types.string, but values are merged by putting a newline
in between them.  This is mostly useful for configuration file
options, where we don't want values accidentally ending up on the same
line.

Note that almost all options with string type in NixOS should either
be unmergable (i.e. should be marked with ‘types.uniq’) or should
actually be of type ‘lines’.  So it might make sense to remove the
merge function for the ‘string’ type eventually.
linux: Update to 3.2.38
all-packages.nix: provide a variant of Darcs that includes the executable, but not the library

The reduced 'darcs' derivation is supposed to be run-time independent of the
Haskell compiler. Unfortunately, this isn't quite true yet because the HTTP
package bakes its own store path into the library. This causes Darcs -- which
links the HTTP library statically -- to depend on 'HTTP', which in turn depends
on lot of other Haskell stuff. Patching HTTP to get rid of that reference looks
feasible, though.
darcs: build against the latest versions of the 'tar' and 'haskeline' dependencies
dhcpcd: Update to 5.6.7
openresolv: Update to 3.5.4
Linux 3.7.7
Linux 3.0.63
Linux 3.4.30
Update rubygems.

More vulnerabilities:
https://groups.google.com/forum/?fromgroups=#!topic/rubyonrails-security/4_YvCpLzL58
https://groups.google.com/forum/?fromgroups=#!topic/rubyonrails-security/KtmwSbEpzrU
https://groups.google.com/forum/?fromgroups=#!topic/rubyonrails-security/AFBKNY7VSH8
texlive-moderncv: update to version 1.3.0
warsow: Fix for ui module downloaded from server.
ghc-with-packages.nix: include man pages in the generated profile
xmonad: install man page into the proper location