sci-mathematics/z3-4.8.4 was released on 2018-12-20. """ Version 4.8.4 ============= - Notes - fixes bugs - a substantial update to how the seq theory solver handles regular expressions. Other performance improvements to the seq solver. - Managed .NET DLLs include dotnet standard 1.4 on supported platforms. - Windows Managed DLLs are strong signed in the released binaries. """ HOMEPAGE="http://z3.codeplex.com/" seems quite outdated. HOMEPAGE="https://github.com/Z3Prover/z3" maybe should be used.
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=161f54d839375b13907191e4d31f31ebb28effee commit 161f54d839375b13907191e4d31f31ebb28effee Author: Michał Górny <mgorny@gentoo.org> AuthorDate: 2019-02-13 12:49:21 +0000 Commit: Michał Górny <mgorny@gentoo.org> CommitDate: 2019-02-13 14:28:45 +0000 sci-mathematics/z3: Bump to 4.8.4 Closes: https://bugs.gentoo.org/673506 Signed-off-by: Michał Górny <mgorny@gentoo.org> sci-mathematics/z3/Manifest | 1 + sci-mathematics/z3/z3-4.8.4.ebuild | 106 +++++++++++++++++++++++++++++++++++++ 2 files changed, 107 insertions(+)
