summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/polyml: remove created .laMaciej Barć2023-09-071-52/+0
* dev-lang/polyml: fix c++11 buildAlfredo Tupone2023-01-221-1/+2
* dev-lang/polyml: clean la filesAlfredo Tupone2022-07-021-1/+6
* dev-lang/polyml: dev-libs/gmp slot; no need for --disable-staticMaciej Barć2021-12-031-0/+46