[Bug 1547330] ghc-vault-0.3.1.2 is available