projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 123a395) | patch
sci-mathematics/z3: amd64 stable wrt bug #693856
authorAgostino Sarubbo <ago@gentoo.org>
Tue, 10 Sep 2019 07:04:56 +0000 (09:04 +0200)
committerAgostino Sarubbo <ago@gentoo.org>
Tue, 10 Sep 2019 07:04:56 +0000 (09:04 +0200)
commit56fd2eeb8cd30a2b462888978a2a63f54c830f4e
tree5eb2b35d76d60c57f8a7cfc8b1be97d73f61be80tree | snapshot
parent123a39546858e3d9847d53596fde316e778e4ce7commit | diff
sci-mathematics/z3: amd64 stable wrt bug #693856

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