[Bug 1531002] New: ghc-Decimal-0.5.1 is available