repo/gentoo.git - Official Gentoo ebuild repository

	Commit message (Expand)	Author	Age	Files	Lines
*	sci-mathematics/why3-for-spark: Version bump to 2018	Tupone Alfredo	2018-07-13	3	-0/+101
*	sci-mathematics/why3-for-spark: Fix STRIP_MASK usage. Bug #651458	Tupone Alfredo	2018-03-27	1	-5/+2
*	sci-mathematics: Update Manifest hashes.	Ulrich Müller	2017-12-10	1	-1/+1
*	sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06 causes problem.	Tupone Alfredo	2017-11-06	1	-1/+1
*	sci-mathematics/why3-for-spark: Add ocamlopt use flag	Tupone Alfredo	2017-11-04	1	-2/+10
*	sci-mathematics/why3-for-spark: Install libraries	Tupone Alfredo	2017-11-04	1	-0/+1
*	sci-mathematics/why3-for-spark: Enable coq tactics	Tupone Alfredo	2017-11-01	2	-1/+27
*	sci-mathematics/why3-for-spark: remove extra --disable-zip	Tupone Alfredo	2017-10-25	1	-1/+0
*	sci-mathematics/why3-for-spark: Add zip use flags	Tupone Alfredo	2017-10-24	2	-3/+6
*	sci-mathematics/why3-for-spark: Adding examples	Tupone Alfredo	2017-10-24	1	-0/+2
*	sci-mathematics/why3-for-spark: Fix SRC_URI	Tupone Alfredo	2017-10-23	1	-1/+1
*	sci-mathematics/why3-for-spark: Fix metadata.xml	Tupone Alfredo	2017-10-20	1	-23/+23
*	sci-mathematics/why3-for-spark: Adding why3 for spark	Tupone Alfredo	2017-10-19	4	-0/+116