repo/sync/gentoo.git - Sync-friendly git mirror of repo/gentoo with caches and metadata

	Commit message (Expand)	Author	Age	Files	Lines
*	sci-mathematics/singular: add julia and polymake useflags	Andrew Ammerlaan	2021-12-15	2	-0/+130
*	sci-mathematics/coq: drop redundant ebuilds	Viorel Munteanu	2021-12-14	3	-268/+0
*	sci-mathematics/lrcalc: remove old "unused" lrcalc-2.0.ebuild.	Michael Orlitzky	2021-12-13	2	-24/+0
*	sci-mathematics/lrcalc: New upstream release	François Bissey	2021-12-13	2	-0/+24
*	sci-mathematics/why3: fix *DEPEND	Maciej Barć	2021-12-12	1	-14/+17
*	sci-mathematics/easycrypt: fix ocaml dependency	Maciej Barć	2021-12-12	1	-1/+1
*	sci-mathematics/easycrypt: new package; add version 1.0_pre20211210	Maciej Barć	2021-12-12	3	-0/+57
*	sci-mathematics/why3: new package; add version 1.4.0	Maciej Barć	2021-12-12	3	-0/+126
*	sci-mathematics/genius: Stabilize 1.0.27 amd64, #828932	Sam James	2021-12-12	1	-1/+1
*	sci-mathematics/vampire: new package; add version 4.6.1	Maciej Barć	2021-12-11	3	-0/+79
*	sci-mathematics/arb: remove unused patch	Michael Mair-Keimberger	2021-12-09	1	-21/+0
*	sci-mathematics/coq: x86 stable wrt bug #827149	Agostino Sarubbo	2021-12-07	1	-1/+1
*	sci-mathematics/arb: remove old "unused" arb-2.1[78].x ebuilds	Michael Orlitzky	2021-12-06	3	-113/+0
*	sci-mathematics/gp2c: remove old "unused" gp2c-0.0.11.3.ebuild.	Michael Orlitzky	2021-12-06	2	-30/+0
*	sci-mathematics/arb: x86 stable wrt bug #828377	Agostino Sarubbo	2021-12-06	1	-1/+1
*	sci-mathematics/coq: Stabilize 8.12.0-r2 amd64, #827149	Jakov Smolić	2021-12-06	1	-1/+1
*	sci-mathematics/arb: amd64 stable wrt bug #828377	Agostino Sarubbo	2021-12-06	1	-1/+1
*	sci-mathematics/gp2c: amd64 stable wrt bug #828375	Agostino Sarubbo	2021-12-06	1	-1/+1
*	sci-mathematics/lean: gmp slot	Maciej Barć	2021-12-04	2	-2/+2
*	sci-mathematics/slepc: version bump to 3.16	Matthias Maier	2021-12-03	2	-0/+70
*	sci-mathematics/petsc: version bump to 3.16.0 and bugfix	Fabio Rossi	2021-12-01	3	-0/+209
*	sci-mathematics/nauty: Keyword 2.7.3 arm, #826706	Arthur Zamarin	2021-11-29	1	-1/+1
*	sci-mathematics/cliquer: Keyword 1.22 arm, #826706	Arthur Zamarin	2021-11-29	1	-1/+1
*	sci-mathematics/gimps: Version bump to 30.7 build 9	PPed72	2021-11-29	2	-1/+1
*	sci-mathematics/wxmaxima: clean old versions	Andrey Grozin	2021-11-29	4	-240/+0
*	sci-mathematics/wxmaxima: bump to 21.11.0	Andrey Grozin	2021-11-29	2	-0/+80
*	sci-mathematics/spin: add 6.5.2, drop 6.5.1	Marek Szuba	2021-11-28	3	-2/+2
*	sci-mathematics/gretl: add 2021d, drop 1.9.90	Marek Szuba	2021-11-27	4	-33/+57
*	sci-mathematics/spin: add myself as a maintainer	Marek Szuba	2021-11-26	1	-1/+7
*	sci-mathematics/spin: add 6.5.1, remove 6.4.5	Marek Szuba	2021-11-26	5	-68/+66
*	sci-mathematics/lean: add live	Maciej Barć	2021-11-26	1	-0/+75
*	sci-mathematics/lean: always use non-hardcoded MAJOR; use readme.gentoo	Maciej Barć	2021-11-26	1	-9/+16
*	sci-mathematics/metamath: change patch filename	Maciej Barć	2021-11-26	2	-1/+1
*	sci-mathematics/mathlib-tools: new package; add version 1.1.0	Maciej Barć	2021-11-26	3	-0/+69
*	sci-mathematics/lean: new package; add version 3.35.1	Maciej Barć	2021-11-26	4	-0/+112
*	sci-mathematics/metamath: new package; add version 0.198	Maciej Barć	2021-11-26	4	-0/+63
*	sci-mathematics/lcalc: new upstream version 2.0.4.	Michael Orlitzky	2021-11-25	2	-0/+32
*	sci-mathematics/nauty: fix v2.7.3 build with GNU libtool.	Michael Orlitzky	2021-11-23	1	-0/+4
*	sci-mathematics/nauty: new upstream version 2.7.3.	Michael Orlitzky	2021-11-22	2	-0/+75
*	sci-mathematics/gmp-ecm: keyword 7.0.4-r4 for ~riscv	Alex Fan	2021-11-22	1	-1/+1
*	sci-mathematics/arb: keyword 2.21.0 for ~riscv	Alex Fan	2021-11-22	1	-1/+1
*	sci-mathematics/singular: keyword 4.2.1 for ~riscv	Alex Fan	2021-11-22	1	-1/+1
*	sci-mathematics/flint: keyword 2.8.3 for ~riscv	Alex Fan	2021-11-22	1	-1/+1
*	sci-mathematics/octave-epstk: keyword 2.4 for ~riscv	Alex Fan	2021-11-22	1	-1/+1
*	sci-mathematics/spin: keyword 6.4.5 for ~riscv	Alex Fan	2021-11-22	1	-1/+1
*	/: reassign aisha's packages	Joonas Niilola	2021-11-21	1	-8/+0
*	sci-mathematics/z3: Bump to 4.8.13	Michał Górny	2021-11-19	2	-0/+104
*	sci-mathematics/maxima: destabilize 5.42.1-r1 for ~ppc	Georgy Yakovlev	2021-11-18	1	-1/+1
*	sci-mathematics/singular: de-stabilize for ~ppc, bug #823768	Georgy Yakovlev	2021-11-18	1	-1/+1
*	sci-mathematics/mathomatic: de-stabilize for ~ppc, bug #823768	Georgy Yakovlev	2021-11-18	1	-2/+2