mxcl/homebrew — pull request #17888 by 0branch (2013-02-16 18:14:48+00:00)
Title: polyml: 5.5

Update PolyML to 5.5 (released December 2012).