[Bug 1104037] ghc-texmath-0.7 is available