[Bug 1208956] ghc-gtksourceview2-0.13.1.3 is available