Commit message (Expand) | Author | Age | |
---|---|---|---|
* | dev-lang/polyml: bump to 5.8 | Tupone Alfredo | 2019-04-06 |
* | dev-lang/polyml: Fix build with libffi3 | Tupone Alfredo | 2019-04-05 |
* | dev-lang/polyml: Fix build, sem_wait found on libpthread | Tupone Alfredo | 2019-04-05 |
* | dev-lang/polyml: use HTTPs | Michael Mair-Keimberger | 2018-06-07 |
* | Drop $Id$ per council decision in bug #611234. | Robin H. Johnson | 2017-02-28 |
* | dev-lang/polyml: Bump to 5.6 | Mark Wright | 2016-12-28 |