Gentoo Packages /category/sci-mathematics/ http://www.gentoo.org/favicon.ico http://packages.gentoo.org/feed/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> 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.
<div> <span class="cpvstr">sci-mathematics/pspp</span>: <span class="description">Program for statistical analysis of sampled data</span> </div> http://packages.gentoo.org/package/sci-mathematics/pspp?ts=2014-12-28T17:01:17Z Aaron W. Swenson (titanofold) http://cia.vc/stats/author/titanofold 2014-12-28T17:01:17Z
28 Dec 2014; Aaron W. Swenson (titanofold) pspp-0.8.1-r1.ebuild,
pspp-0.8.3.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> http://packages.gentoo.org/package/sci-mathematics/genius?ts=2014-12-26T09:31:17Z Justin Lecher (jlec) http://cia.vc/stats/author/jlec 2014-12-26T09:31:17Z
*genius-1.0.19 (26 Dec 2014)
26 Dec 2014; Justin Lecher (jlec) genius-1.0.17.ebuild,
+genius-1.0.19.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> http://packages.gentoo.org/package/sci-mathematics/maxima?ts=2014-12-25T16:00:06Z Andrey Grozin (grozin) http://cia.vc/stats/author/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,
+maxima-5.35.1-r1.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> http://packages.gentoo.org/package/sci-mathematics/wxmaxima?ts=2014-12-20T15:45:16Z Andrey Grozin (grozin) http://cia.vc/stats/author/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> http://packages.gentoo.org/package/sci-mathematics/agda-stdlib?ts=2014-12-14T10:46:53Z Mark Wright (gienah) http://cia.vc/stats/author/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> http://packages.gentoo.org/package/sci-mathematics/agda?ts=2014-12-14T10:24:58Z Mark Wright (gienah) http://cia.vc/stats/author/gienah 2014-12-14T10:24:58Z
*agda-2.4.2.2-r1 (14 Dec 2014)
14 Dec 2014; Mark Wright (gienah) +agda-2.4.2.2-r1.ebuild,
metadata.xml:
Bump agda to 2.4.2.2-r1
<div> <span class="cpvstr">sci-mathematics/freemat</span>: <span class="description">Environment for rapid engineering and scientific processing</span> </div> http://packages.gentoo.org/package/sci-mathematics/freemat?ts=2014-12-06T21:31:17Z Matthias Maier (tamiko) http://cia.vc/stats/author/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
#531316