projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f381a9) | patch
sci-mathematics/z3: ppc64 stable wrt bug #693856
authorAgostino Sarubbo <ago@gentoo.org>
Wed, 11 Sep 2019 11:05:23 +0000 (13:05 +0200)
committerAgostino Sarubbo <ago@gentoo.org>
Wed, 11 Sep 2019 11:05:23 +0000 (13:05 +0200)
commitbf98a372f7379b35892f9924bd2dd501b44998b6
tree08f7ba0b5dd93bef0ef17b4cfc1bd60cda57db04tree | snapshot
parent7f381a9258b9d6edd9f6ad4c8fab0ae81b5936dccommit | diff
sci-mathematics/z3: ppc64 stable wrt bug #693856

Package-Manager: Portage-2.3.69, Repoman-2.3.16
RepoMan-Options: --include-arches="ppc64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
sci-mathematics/z3/z3-4.8.5.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.