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: stop using <sci-mathematics/coq-8.12	Alfredo Tupone	2022-11-26	2	-9/+4
*	sci-mathematics/why3-for-spark: use https	Michael Mair-Keimberger	2022-07-26	3	-3/+3
*	sci-mathematics/why3-for-spark: refix QA_FLAGS	Alfredo Tupone	2022-06-27	1	-3/+3
*	sci-mathematics/why3-for-spark: ignore some QA warnings	Alfredo Tupone	2022-06-27	1	-13/+3
*	sci-mathematics/why3-for-spark: add USE to select sexp	Alfredo Tupone	2022-03-11	2	-28/+40
*	sci-mathematics/why3-for-spark: remove unused patch	Michael Mair-Keimberger	2022-02-10	1	-25/+0
*	sci-mathematics/why3-for-spark: ignore CFLAGS	Alfredo Tupone	2022-02-07	1	-12/+14
*	sci-mathematics/why3-for-spark: works with new ocaml too	Alfredo Tupone	2022-02-07	1	-2/+2
*	sci-mathematics/why3-for-spark: duplicate deps	Alfredo Tupone	2022-02-07	1	-1/+0
*	sci-mathematics/why3-for-spark: fix doc deps	Alfredo Tupone	2022-02-07	1	-1/+2
*	sci-mathematics/why3-for-spark: drop old version	Alfredo Tupone	2022-02-06	4	-78/+3
*	sci-mathematics/why3-for-spark: UnusedInherits	Alfredo Tupone	2021-09-18	1	-2/+0
*	**/metadata.xml: Replace http by https in DOCTYPE element	Ulrich Müller	2021-09-11	1	-1/+1
*	sci-mathematics/why3-for-spark: enabled hypothesis-selection	Alfredo Tupone	2021-06-29	2	-2/+12
*	sci-mathematics/why3-for-spark: disable hypothesis-selection	Alfredo Tupone	2021-06-29	1	-0/+1
*	sci-mathematics/why3-for-spark: version bump to 2021	Alfredo Tupone	2021-06-12	3	-0/+152
*	sci-mathematics/why3-for-spark: fix dep	Alfredo Tupone	2021-02-10	1	-1/+1
*	sci-mathematics/why3-for-spark: version bump to 2020	Alfredo Tupone	2021-02-09	5	-0/+173
*	sci-mathematics/why3-for-spark: Remove old	Jakov Smolic	2021-01-20	2	-153/+0
*	sci-mathematics/why3-for-spark: update OCaml deps	Sam James	2021-01-17	4	-30/+30
*	sci-mathematics/why3-for-spark: supports both lablgtk:2, :3 for most versions	Sam James	2021-01-17	4	-8/+8
*	sci-mathematics/why3-for-spark: fix broken links	Alfredo Tupone	2020-06-15	1	-2/+4
*	sci-mathematics/why3-for-spark: fix broken symlink	Alfredo Tupone	2020-06-14	1	-1/+1
*	sci-mathematics/why3-for-spark: fix flags and compression	Alfredo Tupone	2020-06-12	2	-0/+144
*	sci-mathematics/why3-for-spark: use CC	Alfredo Tupone	2020-05-27	1	-0/+10
*	sci-mathematics/why3-for-spark: profiling is not more supported by newer ocaml	Tupone Alfredo	2020-01-17	1	-2/+1
*	sci-mathematics/why3-for-spark: depend on a newer dev-ml/lablgtk	Tupone Alfredo	2020-01-16	1	-1/+1
*	sci-mathematics/why3-for-spark: Needs a newer coq version	Tupone Alfredo	2020-01-15	1	-1/+1
*	sci-mathematics/why3-for-spark: use ocaml-4.09	Tupone Alfredo	2020-01-14	1	-0/+78
*	sci-mathematics/why3-for-spark: Update virtual/emacs dependency.	Ulrich Müller	2019-12-20	2	-2/+2
*	sci-mathematics/why3-for-spark: version bump to 2019	Tupone Alfredo	2019-10-11	3	-0/+91
*	sci-mathematics/why3-for-spark: remove unused patch	Tupone Alfredo	2019-03-29	1	-40/+0
*	sci-mathematics/why3-for-spark: use virtual/emacs on dependency	Tupone Alfredo	2019-03-15	3	-86/+2
*	sci-mathematics/why3-for-spark: Stable	Tupone Alfredo	2018-12-16	2	-4/+4
*	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