sci-mathematics/z3: Bump to 4.8.3, major ebuild overhaul
authorMichał Górny <mgorny@gentoo.org>
Thu, 13 Dec 2018 20:15:09 +0000 (21:15 +0100)
committerMichał Górny <mgorny@gentoo.org>
Thu, 13 Dec 2018 20:52:17 +0000 (21:52 +0100)
commit4fae46a493d81fffc0495a55e449a54a6c71f7be
tree7127935b4c55c56464c674e4b10ac5b4b458748c
parent41e3c2ca09f29d443b900c0d3d433be507af3a9b
sci-mathematics/z3: Bump to 4.8.3, major ebuild overhaul

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