repo/gentoo.git - Official Gentoo ebuild repository

	Commit message (Collapse)	Author	Age	Files	Lines
*	/: Normalize metadata.xml files	Michał Górny	2021-03-16	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \|	Normalize quoting, replace '>' with entities, replace unnecessary entities, remove trailing empty lines. Done via: find -name metadata.xml -exec xml ed -P -L -d //none {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
*	sci-mathematics/z3: drop haskell@ from maintainers	Sergei Trofimovich	2020-06-21	1	-4/+0
\| \| \| \| \|	Package-Manager: Portage-2.3.101, Repoman-2.3.22 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
*	sci-mathematics/z3: Remove redundant longdesc	Michał Górny	2020-05-14	1	-3/+0
\| \| \| \|	Signed-off-by: Michał Górny <mgorny@gentoo.org>
*	sci-mathematics/z3: Co-maintain (used by clang)	Michał Górny	2018-12-13	1	-0/+3
\| \| \| \|	Signed-off-by: Michał Górny <mgorny@gentoo.org>
*	Globally add missing remote ID references to metadata.xml	Justin Lecher	2017-04-29	1	-6/+9
\| \| \| \|	Signed-off-by: Justin Lecher <jlec@gentoo.org>
*	sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for development	Mark Wright	2017-01-02	1	-0/+22
	on the z3 ebuilds. Thanks to David E. Narv?ez for reporting and patching. Gentoo-bug: 602498, 602600 Package-Manager: portage-2.3.3