[Bug 1036547] ghc-gtksourceview2-0.12.5.0 is available