Gentoo Packages /category/sci-mathematics/ http://www.gentoo.org/favicon.ico http://packages.gentoo.org/feed/category/sci-mathematics Gentoo Packages2 2015-03-03T06:31:06Z <div> <span class="cpvstr">sci-mathematics/normaliz</span>: <span class="description">Tool for computations in affine monoids and more</span> </div> http://packages.gentoo.org/package/sci-mathematics/normaliz?ts=2015-03-01T12:31:17Z Thomas Kahle (tomka) http://cia.vc/stats/author/tomka 2015-03-01T12:31:17Z
01 Mar 2015; Thomas Kahle (tomka)
+files/normaliz-2.12.2-gcc49.patch, normaliz-2.12.2.ebuild:
Fix gcc-4.9 build (541364)
<div> <span class="cpvstr">sci-mathematics/rstudio</span>: <span class="description">IDE for the R language</span> </div> http://packages.gentoo.org/package/sci-mathematics/rstudio?ts=2015-02-28T05:01:16Z Mark Wright (gienah) http://cia.vc/stats/author/gienah 2015-02-28T05:01:16Z
28 Feb 2015; Mark Wright (gienah)
+files/rstudio-0.98.1091-boost-1.57.patch, rstudio-0.97.336.ebuild,
rstudio-0.97.551.ebuild, rstudio-0.98.1028.ebuild, rstudio-0.98.1091.ebuild,
rstudio-0.98.490-r1.ebuild, rstudio-0.98.490.ebuild, rstudio-0.98.932.ebuild,
rstudio-0.98.953.ebuild:
Patch rstudio-0.98.1091 to build with boost 1.57
<div> <span class="cpvstr">sci-mathematics/glpk</span>: <span class="description">GNU Linear Programming Kit</span> </div> http://packages.gentoo.org/package/sci-mathematics/glpk?ts=2015-02-27T14:31:16Z Justin Lecher (jlec) http://cia.vc/stats/author/jlec 2015-02-27T14:31:16Z
*glpk-4.55 (27 Feb 2015)
27 Feb 2015; Justin Lecher (jlec) +glpk-4.55.ebuild,
glpk-4.45.ebuild, glpk-4.48.ebuild, metadata.xml:
Version BUmp, #532906; fix missing slot Operators and inherits
<div> <span class="cpvstr">sci-mathematics/cgal</span>: <span class="description">C++ library for geometric algorithms and data structures</span> </div> http://packages.gentoo.org/package/sci-mathematics/cgal?ts=2015-02-22T11:31:16Z Pacho Ramos (pacho) http://cia.vc/stats/author/pacho 2015-02-22T11:31:16Z
22 Feb 2015; Pacho Ramos (pacho) cgal-4.3.ebuild:
amd64/x86 stable, bug #540522
<div> <span class="cpvstr">sci-mathematics/coq</span>: <span class="description">Proof assistant written in O'Caml</span> </div> http://packages.gentoo.org/package/sci-mathematics/coq?ts=2015-02-15T07:01:16Z Mark Wright (gienah) http://cia.vc/stats/author/gienah 2015-02-15T07:01:16Z
15 Feb 2015; Mark Wright (gienah)
+files/coq-8.4_p5-do-not-install-revision.patch,
+files/coq-8.4_p5-hevea.patch, +files/coq-8.4_p5-no-clean-before-test.patch,
coq-8.4_p5.ebuild:
Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch
from upstream: http://lists.gforge.inria.fr/pipermail/coq-
commits/2014-October/013582.html. Replace sed to avoid installing revision
with patch. Patch Makefile.build to avoid deleting html/refman/index_urls.txt
in the test phase and then failing to install with FEATURES=test and USE=doc
<div> <span class="cpvstr">sci-mathematics/maxima</span>: <span class="description">Free computer algebra environment based on Macsyma</span> </div> http://packages.gentoo.org/package/sci-mathematics/maxima?ts=2015-01-31T14:31:16Z Agostino Sarubbo (ago) http://cia.vc/stats/author/ago 2015-01-31T14:31:16Z
31 Jan 2015; Agostino Sarubbo (ago) maxima-5.34.1.ebuild:
Stable for amd64, wrt bug #406773
<div> <span class="cpvstr">sci-mathematics/gretl</span>: <span class="description">Regression, econometrics and time-series library</span> </div> http://packages.gentoo.org/package/sci-mathematics/gretl?ts=2015-01-29T22:01:17Z Michał Górny (mgorny) http://cia.vc/stats/author/mgorny 2015-01-29T22:01:17Z
29 Jan 2015; Michał Górny (mgorny) gretl-1.9.14.ebuild,
gretl-1.9.90.ebuild:
Switch to CPU_FLAGS_X86.
<div> <span class="cpvstr">sci-mathematics/isabelle</span>: <span class="description">Isabelle is a generic proof assistant</span> </div> http://packages.gentoo.org/package/sci-mathematics/isabelle?ts=2015-01-25T13:31:16Z Mark Wright (gienah) http://cia.vc/stats/author/gienah 2015-01-25T13:31:16Z
*isabelle-2013.2 (25 Jan 2015)
25 Jan 2015; Mark Wright (gienah)
+files/isabelle-2013.2-HOL-Predicate_Compile_Examples.patch,
+files/isabelle-2013.2-classpath.patch, +isabelle-2013.2.ebuild,
isabelle-2013-r1.ebuild:
Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot
dependencies for java packages. Add upper range dependency <dev-
lang/scala-2.11.1 to 2013-r1.
<div> <span class="cpvstr">sci-mathematics/octave</span>: <span class="description">High-level interactive language for numerical computations</span> </div> http://packages.gentoo.org/package/sci-mathematics/octave?ts=2015-01-07T12:01:17Z Jeroen Roovers (jer) http://cia.vc/stats/author/jer 2015-01-07T12:01:17Z
07 Jan 2015; Jeroen Roovers (jer) octave-3.8.1-r1.ebuild,
octave-3.8.2.ebuild:
Fix imagemagick/graphicsmagick sub-SLOT deps.
<div> <span class="cpvstr">sci-mathematics/kodkod</span>: <span class="description">a constraint solver for relational logic</span> </div> http://packages.gentoo.org/package/sci-mathematics/kodkod?ts=2015-01-03T12:31:17Z Michał Górny (mgorny) http://cia.vc/stats/author/mgorny 2015-01-03T12:31:17Z
03 Jan 2015; Michał Górny (mgorny) kodkod-1.5.2.ebuild:
Use python-any-r1 for waf.