[Bug 1531002] ghc-Decimal-0.5.1 is available