projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bccc42b) | patch
sci-mathematics/z3: arm stable wrt bug #693856
authorMikle Kolyada <zlogene@gentoo.org>
Fri, 13 Sep 2019 15:46:01 +0000 (18:46 +0300)
committerMikle Kolyada <zlogene@gentoo.org>
Fri, 13 Sep 2019 15:46:01 +0000 (18:46 +0300)
commitf3ce077e0a156ea0fceefab02ca78ecb7692dfc0
tree2490ffb356951f1ea3bed41e10c75c1c337bc17etree | snapshot
parentbccc42b4a168e6e4a67c26da8f7fad4df5214a48commit | diff
sci-mathematics/z3: arm stable wrt bug #693856

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