summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-291-6/+9
* sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for developmentMark Wright2017-01-021-0/+22