summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/polyml: use dev-libs/libffi instead of virtual/libffiSergei Trofimovich2020-11-161-2/+2
* */*: [QA] Remove redundant `|| die` guardsDavid Seifert2019-12-111-1/+1
* */*: [QA] Fix trivial cases of MissingTestRestrictMichał Górny2019-12-111-0/+1
* dev-lang/polyml: bump to 5.8Tupone Alfredo2019-04-061-0/+1
* dev-lang/polyml: Fix build with libffi3Tupone Alfredo2019-04-051-1/+4
* dev-lang/polyml: Fix build, sem_wait found on libpthreadTupone Alfredo2019-04-051-1/+3
* dev-lang/polyml: use HTTPsMichael Mair-Keimberger2018-06-071-2/+2
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-lang/polyml: Bump to 5.6Mark Wright2016-12-281-0/+53