[Bug 1224432] ghc-cmdargs-0.10.13 is available