Homebrew/homebrew-versions — pull request #164 by kmlee (2013-07-07 20:33:28+00:00)
Title: ppl011: fixes configure option

--with-gmp replaced by --with-gmp-prefix.