diff options
author | 2018-12-13 21:15:09 +0100 | |
---|---|---|
committer | 2018-12-13 21:52:17 +0100 | |
commit | 4fae46a493d81fffc0495a55e449a54a6c71f7be (patch) | |
tree | 7127935b4c55c56464c674e4b10ac5b4b458748c /sci-mathematics/spin | |
parent | sci-mathematics/z3: Co-maintain (used by clang) (diff) | |
download | gentoo-4fae46a493d81fffc0495a55e449a54a6c71f7be.tar.gz gentoo-4fae46a493d81fffc0495a55e449a54a6c71f7be.tar.bz2 gentoo-4fae46a493d81fffc0495a55e449a54a6c71f7be.zip |
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>
Diffstat (limited to 'sci-mathematics/spin')
0 files changed, 0 insertions, 0 deletions