summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/z3: drop haskell@ from maintainersSergei Trofimovich2020-06-211-4/+0
* sci-mathematics/z3: Remove redundant longdescMichał Górny2020-05-141-3/+0
* sci-mathematics/z3: Co-maintain (used by clang)Michał Górny2018-12-131-0/+3
* 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