commit ghc-mfsolve for openSUSE:Factory