projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4fae46a) | patch
sci-mathematics/z3: Enable python3
authorMichał Górny <mgorny@gentoo.org>
Thu, 13 Dec 2018 20:30:18 +0000 (21:30 +0100)
committerMichał Górny <mgorny@gentoo.org>
Thu, 13 Dec 2018 20:52:18 +0000 (21:52 +0100)
commitb7d178c8436066544ab87d79a0d11db7163f6100
tree83621fcd97b4c9b993718ef0607479b56360c2abtree | snapshot
parent4fae46a493d81fffc0495a55e449a54a6c71f7becommit | diff
sci-mathematics/z3: Enable python3

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.