projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4fa5d3) | patch
sci-mathematics/z3: x86 stable wrt bug #700296
authorAgostino Sarubbo <ago@gentoo.org>
Tue, 19 Nov 2019 15:37:40 +0000 (16:37 +0100)
committerAgostino Sarubbo <ago@gentoo.org>
Tue, 19 Nov 2019 15:37:40 +0000 (16:37 +0100)
commit97496908a03c3e9154601766715a6db26630fd2a
tree278be71d023bff5bdf69f75abdff3f5ed2d40588tree | snapshot
parentf4fa5d320350e4ab509cf11d13cad5bc46c85504commit | diff
sci-mathematics/z3: x86 stable wrt bug #700296

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