[Bug 1203672] ghc-dlist-0.7.1.2 is available