projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f01bf2) | patch
sci-mathematics/z3: amd64 stable wrt bug #700296
authorAgostino Sarubbo <ago@gentoo.org>
Mon, 18 Nov 2019 11:48:22 +0000 (12:48 +0100)
committerAgostino Sarubbo <ago@gentoo.org>
Mon, 18 Nov 2019 11:48:22 +0000 (12:48 +0100)
commitaffd103706233db1acbf960a7fed374760826ef4
tree448a7bc8b0e7b31f65da8172cfaf8be1da039a51tree | snapshot
parent4f01bf2b7f93fc1abb6410b04b624dfd5e01907ccommit | diff
sci-mathematics/z3: amd64 stable wrt bug #700296

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