aports - Main aports tree

	Commit message (Collapse)	Author	Age	Files	Lines
*	community/z3: upgrade to 4.8.5	Sören Tempel	2019-06-02	1	-5/+5
\|
*	community/z3: rebuild against python 3.7	Natanael Copa	2019-04-17	1	-1/+1
\|
*	community/z3: upgrade to 4.8.4	Sören Tempel	2018-12-26	3	-31/+4
\| \| \| \| \| \| \| \| \| \|	Both patches should no longer be needed: immintrin-i386-only.patch: has been applied upstream [0]. fix-ppc64le-ptr-size.patch: checks for __LP64__ now [1] which covers our cases. [0]: https://github.com/Z3Prover/z3/commit/a3ece29628501b405cb065f535ab0a003672fec0 [1]: https://github.com/Z3Prover/z3/commit/51a947b73d9d597029c30c62fe8d59d013a48f3c
*	community/z3: immintrin.h only available on i386	Carlo Landmeter	2018-11-30	2	-3/+3
\|
*	community/z3: fix ppc64le build break to skip use of immintrin.h	Mike Sullivan	2018-11-27	2	-1/+15
\|
*	community/z3: upgrade to 4.8.3	Sören Tempel	2018-11-22	1	-3/+3
\|
*	community/z3: fix ppc64le by setting proper ptr width	Mike Sullivan	2018-08-03	2	-4/+17
\|
*	community/z3: move from testing	Sören Tempel	2018-06-27	1	-0/+56