[Bug 947225] ghc-xml-1.3.13 is available