projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7d178c) | patch
sci-mathematics/z3: Run tests
authorMichał Górny <mgorny@gentoo.org>
Thu, 13 Dec 2018 20:50:27 +0000 (21:50 +0100)
committerMichał Górny <mgorny@gentoo.org>
Thu, 13 Dec 2018 20:52:18 +0000 (21:52 +0100)
commita7f6efd5ca806e141c760fccb31e3b5a9b0aeeac
treebd468c620664574c73f8691a584f0bd72ba9848btree | snapshot
parentb7d178c8436066544ab87d79a0d11db7163f6100commit | diff
sci-mathematics/z3: Run tests

Signed-off-by: Michał Górny <mgorny@gentoo.org>
sci-mathematics/z3/z3-4.8.3.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.