repo/gentoo.git - Official Gentoo ebuild repository

	Commit message (Expand)	Author	Age	Files	Lines
*	sci-mathematics/cvc4: use <pkg> tag in metadata.xml	Petr Vaněk	2022-08-26	1	-1/+1
*	sci-mathematics/cvc4: fix deps check	Alfredo Tupone	2022-02-17	1	-3/+6
*	sci-mathematics/cvc4: revbump for CMake config file fix	Sam James	2022-02-09	1	-0/+0
*	sci-mathematics/cvc4: fix library path	Alfredo Tupone	2022-02-08	1	-0/+9
*	sci-mathematics/cvc4: fix deps	Alfredo Tupone	2022-02-08	1	-1/+5
*	sci-mathematics/cvc4: remove unused CMake variables	Alfredo Tupone	2022-02-08	1	-3/+1
*	sci-mathematics/cvc4: PythonCompatUpdate	Alfredo Tupone	2022-02-05	2	-4/+4
*	**/metadata.xml: Replace http by https in DOCTYPE element	Ulrich Müller	2021-09-11	1	-1/+1
*	sci-mathematics/cvc4: version bump to 1.8	Alfredo Tupone	2021-05-27	3	-0/+98
*	sci-mathematics/cvc4: python3_9, switch to cmake.eclass	Andreas Sturmlechner	2021-04-05	1	-10/+9
*	/: Remove obsolete values from PYTHON_COMPAT	Michał Górny	2021-01-31	1	-1/+1
*	sci-mathematics/cvc4: Remove old	Jakov Smolic	2021-01-20	2	-25/+0
*	sci-mathematics/cvc4: add python dep	Alfredo Tupone	2021-01-20	1	-2/+5
*	/: [QA] Use consistent function definition formatting	David Seifert	2020-02-22	1	-2/+2
*	sci-mathematics/cvc4: Add readline use flag	Tupone Alfredo	2019-07-25	1	-1/+3
*	sci-mathematics/cvc4: add statistics, replay and proofs use flag	Tupone Alfredo	2019-07-23	2	-1/+8
*	sci-mathematics/cvc4: Fix sandbox issue	Tupone Alfredo	2019-07-18	1	-0/+8
*	sci-mathematics/cvc4: Bump to 1.7	Tupone Alfredo	2019-07-14	3	-0/+90
*	sci-mathematics/cvc4: Add cvc4 to the tree	Tupone Alfredo	2018-07-18	3	-0/+42