sci-mathematics/z3: Bump to 4.8.8
authorMichał Górny <mgorny@gentoo.org>
Thu, 14 May 2020 06:17:44 +0000 (08:17 +0200)
committerMichał Górny <mgorny@gentoo.org>
Thu, 14 May 2020 06:17:44 +0000 (08:17 +0200)
commit4a8053a105372c6eaf0a11c42681602b8fb20f67
tree69083aaaa3392ba8092a8649c25011530e337bd8
parentb8a62a1b1c458eaf5accece20f657432e75dbb30
sci-mathematics/z3: Bump to 4.8.8

Signed-off-by: Michał Górny <mgorny@gentoo.org>
sci-mathematics/z3/Manifest
sci-mathematics/z3/z3-4.8.8.ebuild [new file with mode: 0644]