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: use virtual/emacs on dependency	Tupone Alfredo	2019-03-15	1	-83/+0
*	sci-mathematics/why3-for-spark: Stable	Tupone Alfredo	2018-12-16	1	-2/+2
*	sci-mathematics/why3-for-spark: Fix STRIP_MASK usage. Bug #651458	Tupone Alfredo	2018-03-27	1	-5/+2
*	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	1	-1/+1
*	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	1	-3/+5
*	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: Adding why3 for spark	Tupone Alfredo	2017-10-19	1	-0/+74