[Bug 1217020] ghc-cookie-0.4.2 is available