[Bug 1178342] ghc-gtksourceview2-0.13.1.2 is available