repo/sync/gentoo.git - Sync-friendly git mirror of repo/gentoo with caches and metadata

	Commit message (Expand)	Author	Age	Files	Lines
*	sci-mathematics/why3-for-spark: fix NOTPARALLEL	Alfredo Tupone	2023-04-03	1	-1/+1
*	sci-mathematics/why3-for-spark: disable shuffle	Alfredo Tupone	2023-04-02	1	-0/+11
*	sci-mathematics/why3-for-spark: drop 2020	Alfredo Tupone	2023-04-02	1	-28/+0
*	sci-mathematics/why3-for-spark: drop 2019-r3	Alfredo Tupone	2023-04-02	2	-52/+0
*	sci-mathematics/why3-for-spark: remove unused patch	Michael Mair-Keimberger	2022-02-10	1	-25/+0
*	sci-mathematics/why3-for-spark: enabled hypothesis-selection	Alfredo Tupone	2021-06-29	1	-0/+9
*	sci-mathematics/why3-for-spark: version bump to 2021	Alfredo Tupone	2021-06-12	1	-0/+28
*	sci-mathematics/why3-for-spark: version bump to 2020	Alfredo Tupone	2021-02-09	3	-0/+49
*	sci-mathematics/why3-for-spark: fix flags and compression	Alfredo Tupone	2020-06-12	1	-0/+28
*	sci-mathematics/why3-for-spark: use CC	Alfredo Tupone	2020-05-27	1	-0/+10
*	sci-mathematics/why3-for-spark: version bump to 2019	Tupone Alfredo	2019-10-11	1	-0/+14
*	sci-mathematics/why3-for-spark: remove unused patch	Tupone Alfredo	2019-03-29	1	-40/+0
*	sci-mathematics/why3-for-spark: Version bump to 2018	Tupone Alfredo	2018-07-13	1	-0/+25
*	sci-mathematics/why3-for-spark: Enable coq tactics	Tupone Alfredo	2017-11-01	1	-0/+26
*	sci-mathematics/why3-for-spark: Adding why3 for spark	Tupone Alfredo	2017-10-19	1	-0/+14