Gentoo Packages /category/sci-mathematics/ Gentoo Packages2 2015-01-25T23:01:04Z <div> <span class="cpvstr">sci-mathematics/isabelle</span>: <span class="description">Isabelle is a generic proof assistant</span> </div> Mark Wright (gienah) 2015-01-25T13:31:16Z
*isabelle-2013.2 (25 Jan 2015)
25 Jan 2015; Mark Wright (gienah)
+files/isabelle-2013.2-classpath.patch, +isabelle-2013.2.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> Jeroen Roovers (jer) 2015-01-07T12:01:17Z
07 Jan 2015; Jeroen Roovers (jer) octave-3.8.1-r1.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> Michał Górny (mgorny) 2015-01-03T12:31:17Z
03 Jan 2015; Michał Górny (mgorny) kodkod-1.5.2.ebuild:
Use python-any-r1 for waf.
<div> <span class="cpvstr">sci-mathematics/pspp</span>: <span class="description">Program for statistical analysis of sampled data</span> </div> Aaron W. Swenson (titanofold) 2014-12-28T17:01:17Z
28 Dec 2014; Aaron W. Swenson (titanofold) pspp-0.8.1-r1.ebuild,
Rename virtual/postgresql to dev-db/postgresql
<div> <span class="cpvstr">sci-mathematics/genius</span>: <span class="description">Genius Mathematics Tool and the GEL Language</span> </div> Justin Lecher (jlec) 2014-12-26T09:31:17Z
*genius-1.0.19 (26 Dec 2014)
26 Dec 2014; Justin Lecher (jlec) genius-1.0.17.ebuild,
Version BUmp, #523604; fix SRC_URI, thanks leio
<div> <span class="cpvstr">sci-mathematics/maxima</span>: <span class="description">Free computer algebra environment based on Macsyma</span> </div> Andrey Grozin (grozin) 2014-12-25T16:00:06Z
*maxima-5.35.1-r1 (25 Dec 2014)
25 Dec 2014; Andrey Grozin (grozin) -maxima-5.35.1.ebuild,
5.35.1 tarball contains a wrong sys-proclaim.lisp; re-generate it (only
affects gcl)
<div> <span class="cpvstr">sci-mathematics/wxmaxima</span>: <span class="description">Graphical frontend to Maxima, using the wxWidgets toolkit</span> </div> Andrey Grozin (grozin) 2014-12-20T15:45:16Z
*wxmaxima-14.12.0 (20 Dec 2014)
20 Dec 2014; Andrey Grozin (grozin) +wxmaxima-14.12.0.ebuild:
Version bump
<div> <span class="cpvstr">sci-mathematics/agda-stdlib</span>: <span class="description">Agda standard library</span> </div> Mark Wright (gienah) 2014-12-14T10:46:53Z
*agda-stdlib-0.9 (14 Dec 2014)
14 Dec 2014; Mark Wright (gienah) +agda-stdlib-0.9.ebuild:
Bump agda-stdlib to 0.9
<div> <span class="cpvstr">sci-mathematics/agda</span>: <span class="description">A dependently typed functional programming language and proof assistant</span> </div> Mark Wright (gienah) 2014-12-14T10:24:58Z
*agda- (14 Dec 2014)
14 Dec 2014; Mark Wright (gienah) +agda-,
Bump agda to
<div> <span class="cpvstr">sci-mathematics/freemat</span>: <span class="description">Environment for rapid engineering and scientific processing</span> </div> Matthias Maier (tamiko) 2014-12-06T21:31:17Z
06 Dec 2014; Matthias Maier (tamiko)
+files/freemat-4.2-use_llvm.patch, freemat-4.2.ebuild:
drop python-r1 eclass; fix dependencies; fix llvm configuration wrt bug