projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8330c3) | patch
sci-mathematics/z3: x86 stable wrt bug #693856
authorAgostino Sarubbo <ago@gentoo.org>
Tue, 10 Sep 2019 07:09:32 +0000 (09:09 +0200)
committerAgostino Sarubbo <ago@gentoo.org>
Tue, 10 Sep 2019 07:09:32 +0000 (09:09 +0200)
commit934ebbb2d27cc2982f8e322b73fe5434fa9b2f60
tree6d6d8983a6d9e6165f286d844e94ad3a7b17a379tree | snapshot
parentd8330c39fd1eeab2a3e3079bef0c3d1700d02476commit | diff
sci-mathematics/z3: x86 stable wrt bug #693856

Package-Manager: Portage-2.3.69, Repoman-2.3.16
RepoMan-Options: --include-arches="x86"
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.