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