[Bug 1217020] ghc-cookie-0.4.1.5 is available