Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bump polyml to 5.5.1. Fix bug 453146 - dev-lang/polyml-5.5.0: fails to build ... | 2014-02-11 | 3 | -0/+203 | |
* | Bump polyml to 5.5.0 (also called 5.5, the tarball calls it 5.5, poly -v says... | 2012-09-20 | 3 | -0/+169 | |
* | Fix upstream bug: --without-portable was equivalent to --with-portable. Add t... | 2012-01-09 | 1 | -0/+11 | |
* | Bump to 5.4.1 fixes bug #296797 thanks Mr. Anderson and Rene Necoro Neumann. ... | 2012-01-08 | 1 | -0/+28 |