repo/gentoo.git - Official Gentoo ebuild repository

	Commit message (Collapse)	Author	Age	Files	Lines
*	sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06 causes problem.	Tupone Alfredo	2017-11-06	1	-1/+1
\| \| \| \|	Package-Manager: Portage-2.3.8, Repoman-2.3.3
*	sci-mathematics/why3-for-spark: Add ocamlopt use flag	Tupone Alfredo	2017-11-04	1	-2/+10
\| \| \| \|	Package-Manager: Portage-2.3.8, Repoman-2.3.3
*	sci-mathematics/why3-for-spark: Install libraries	Tupone Alfredo	2017-11-04	1	-0/+1
\| \| \| \|	Package-Manager: Portage-2.3.8, Repoman-2.3.3
*	sci-mathematics/why3-for-spark: Enable coq tactics	Tupone Alfredo	2017-11-01	2	-1/+27
\| \| \| \|	Package-Manager: Portage-2.3.8, Repoman-2.3.3
*	sci-mathematics/why3-for-spark: remove extra --disable-zip	Tupone Alfredo	2017-10-25	1	-1/+0
\| \| \| \|	Package-Manager: Portage-2.3.8, Repoman-2.3.3
*	sci-mathematics/why3-for-spark: Add zip use flags	Tupone Alfredo	2017-10-24	2	-3/+6
\| \| \| \|	Package-Manager: Portage-2.3.8, Repoman-2.3.3
*	sci-mathematics/why3-for-spark: Adding examples	Tupone Alfredo	2017-10-24	1	-0/+2
\| \| \| \|	Package-Manager: Portage-2.3.8, Repoman-2.3.3
*	sci-mathematics/rstudio: version bump to 1.1.368	Sobhan Mohammadpour	2017-10-24	3	-0/+325
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Bump to 1.1.368. This also updates the clang pandoc patch Fixes bug 626056, thanks to Harris Landgarten for reporting, Sobhan Mohammadpour for adding the missing dependency in 1.1.383. Fixes bug 626062 by bumping rstudio to version 1.1.383 that builds with R 3.4. Thanks to Harris Landgarten for reporting, jstein, Volkmar Glauche, Bernd Feige and yuri for testing and helping, Sobhan Mohammadpour for bumping rstudio in PR #6003. Fixes bug 622254, thanks to jstein for reporting, Volkmar Glauche, Bernd Feige, Carl W. Harlow, Rolf S. Arvidson, Oleg, Alex and Sobhan Mohammadpour for testing and helping. Fixes bug 633936, thanks to Neil for reporting, François Valenduc and Bernd for helping. Suggested-by: Bernd Feige <Bernd.Feige@gmx.net> Gentoo-bug: 626056, 626062. 622254, 633936
*	sci-mathematics/why3-for-spark: Fix SRC_URI	Tupone Alfredo	2017-10-23	1	-1/+1
\| \| \| \|	Package-Manager: Portage-2.3.8, Repoman-2.3.3
*	sci-mathematics/why3-for-spark: Fix metadata.xml	Tupone Alfredo	2017-10-20	1	-23/+23
\| \| \| \|	Package-Manager: Portage-2.3.8, Repoman-2.3.3
*	sci-mathematics/why3-for-spark: Adding why3 for spark	Tupone Alfredo	2017-10-19	4	-0/+116
\| \| \| \|	Package-Manager: Portage-2.3.8, Repoman-2.3.3
*	sci-mathematics/rstudio: Drop old, Qt4WebKit rdeps	Andreas Sturmlechner	2017-10-15	17	-1714/+0
\| \| \| \| \|	Gentoo-bug: 526660, 583100, 608134, 634280 Package-Manager: Portage-2.3.11, Repoman-2.3.3
*	sci-mathematics/rkward: Drop to ~arch	Andreas Sturmlechner	2017-10-14	3	-75/+0
\| \| \| \| \| \| \|	Old versions depended on Qt4WebKit which is about to be removed. Gentoo-bug: 622708 Package-Manager: Portage-2.3.11, Repoman-2.3.3
*	sci-mathematics/alt-ergo: Adding alt-ergo 1.30	Tupone Alfredo	2017-10-14	3	-0/+51
\| \| \| \|	Package-Manager: Portage-2.3.8, Repoman-2.3.3
*	sci-mathematics/rkward: add KF5 snapshot	Michael Palimaka	2017-10-12	2	-0/+52
\| \| \| \| \|	Bug: https://bugs.gentoo.org/622708 Package-Manager: Portage-2.3.8, Repoman-2.3.3
*	sci-mathematics/octave: Fix >=qscintilla-2.10 detection	Andreas Sturmlechner	2017-10-08	2	-2/+12
\| \| \| \| \|	Gentoo-bug: 617024 Package-Manager: Portage-2.3.11, Repoman-2.3.3
*	sci-mathematics/maxima: bump to 5.41.0	Andrey Grozin	2017-10-05	2	-0/+209
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.3
*	sci-mathematics/flint: Fix FTBFS with PIE enabled	Thomas Deutschmann	2017-09-24	4	-2/+23
\| \| \| \| \|	Closes: https://bugs.gentoo.org/608704 Package-Manager: Portage-2.3.10, Repoman-2.3.3
*	sci-mathematics/flint: Fix compilation with >=sys-devel/binutils-2.25.1	Alexander Tsoy	2017-09-24	3	-3/+17
\| \| \| \| \| \|	Closes: https://bugs.gentoo.org/573868 Package-Manager: Portage-2.3.10, Repoman-2.3.3 Acked-by: Patrick Lauer <patrick@gentoo.org>
*	sci-mathematics/flint: Cleanup old	Thomas Deutschmann	2017-09-24	3	-95/+0
\| \| \| \|	Package-Manager: Portage-2.3.10, Repoman-2.3.3
*	sci-mathematics/isabelle: use HTTPS for links to dev.gentoo.org	Francesco Turco	2017-09-06	1	-3/+3
\|
*	sci-mathematics/Macaulay2: use HTTPS for links to dev.gentoo.org	Francesco Turco	2017-09-06	1	-2/+2
\|
*	sci-mathematics/glpk: stable 4.63 for ia64, bug #626228	Sergei Trofimovich	2017-09-02	1	-1/+1
\| \| \| \| \|	Package-Manager: Portage-2.3.8, Repoman-2.3.3 RepoMan-Options: --include-arches="ia64"
*	sci-mathematics/lpsolve: added ~arm64 keyword	Roy Bamford	2017-08-28	1	-2/+2
\| \| \| \|	Package-Manager: Portage-2.3.8, Repoman-2.3.3
*	sci-mathematics/cado-nfs: Remove last-rited pkg, #587942	Michał Górny	2017-08-14	3	-56/+0
\|
*	sci-mathematics/z3: remove unused patch	Michael Mair-Keimberger (asterix)	2017-08-13	1	-76/+0
\| \| \| \|	Closes: https://github.com/gentoo/gentoo/pull/5370
*	sci-mathematics/gmm: fix homepage, src_uri	Amy Liffey	2017-08-11	1	-2/+2
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.1
*	sci-mathematics/geogebra: remove unused patch	Michael Mair-Keimberger (asterix)	2017-08-08	1	-78/+0
\| \| \| \|	Closes:#5349
*	sci-mathematics/rw: update proxy maintainer email	Amy Liffey	2017-08-06	1	-1/+1
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.1
*	sci-mathematics/4ti2: version bump	Sébastien Fabbro	2017-07-31	2	-0/+44
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.3
*	sci-mathematics/normaliz: version bump	Sébastien Fabbro	2017-07-31	3	-4/+65
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.3
*	sci-mathematics/relational: remove 2.4	Michael Palimaka	2017-07-29	2	-43/+0
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.3
*	sci-mathematics/arb: fixed for linking with PIE	Sébastien Fabbro	2017-07-28	2	-1/+21
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.3
*	sci-mathematics/glpk: bump.	Robin H. Johnson	2017-07-27	3	-0/+157
\| \| \| \| \|	Fixes: https://bugs.gentoo.org/show_bug.cgi?id=626224 Package-Manager: portage-2.3.6
*	sci-mathematics/form: bump to 4.2.0	Andrey Grozin	2017-07-26	2	-0/+82
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.2
*	sci-mathematics/arb: initial import, with help from sage-on-gentoo overlay	Sébastien Fabbro	2017-07-25	3	-0/+74
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.3
*	sci-mathematics/rstudio: Bump to 1.0.153	Mark Wright	2017-07-24	2	-0/+248
\| \| \| \|	Package-Manager: portage-2.3.6
*	sci-mathematics/mathomatic: cleaning up, frozen package.	Sébastien Fabbro	2017-07-21	4	-54/+17
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.2
*	sci-mathematics/cgal: version bump	Sébastien Fabbro	2017-07-21	4	-115/+17
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.2
*	sci-mathematics/coq: bump to 8.6.1	Alexis Ballier	2017-07-18	2	-0/+92
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.2
*	sci-mathematics/coq: Remove old	Alexis Ballier	2017-07-14	5	-228/+0
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.2
*	sci-mathematics/nauty: version bump	Christoph Junghans	2017-07-10	2	-0/+51
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.1
*	sci-mathematics/coq: ppc stable wrt bug #619676	Agostino Sarubbo	2017-07-07	1	-1/+1
\| \| \| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
*	sci-mathematics/coq: x86 stable wrt bug #619676	Agostino Sarubbo	2017-07-07	1	-1/+1
\| \| \| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
*	sci-mathematics/coq: amd64 stable wrt bug #619676	Agostino Sarubbo	2017-07-07	1	-1/+1
\| \| \| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
*	sci-mathematics/freemat: remove last rited package	Michael Palimaka	2017-07-04	6	-197/+0
\| \| \| \|	Gentoo-bug: 620752
*	sci-mathematics/glpk: ia64 keyworded, bug #575366	Sergei Trofimovich	2017-07-01	1	-1/+1
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.2
*	sci-mathematics/glpk: ia64 keyworded, bug #575366	Sergei Trofimovich	2017-07-01	1	-2/+2
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.2
*	sci-mathematics/pymc3: version bump	Sébastien Fabbro	2017-06-28	2	-3/+4
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.2
*	sci-mathematics/glpk: keyword ~arm64	Alexis Ballier	2017-06-22	1	-1/+1
\| \| \| \|	Package-Manager: Portage-2.3.6, Repoman-2.3.2