Gentoo Packages /category/sci-mathematics/ Gentoo Packages2 2015-07-07T13:01:17Z <div> <span class="cpvstr">sci-mathematics/coq</span>: <span class="description">Proof assistant written in O'Caml</span> </div> Jauhien Piatlicki (jauhien) 2015-07-05T20:43:27Z
*coq-8.4_p6 (05 Jul 2015)
05 Jul 2015; Jauhien Piatlicki (jauhien) +coq-8.4_p6.ebuild:
version bump: close bug 553942, thanks toOGINO Masanori
<div> <span class="cpvstr">sci-mathematics/octave</span>: <span class="description">High-level interactive language for numerical computations</span> </div> Michał Górny (mgorny) 2015-07-05T15:01:17Z
05 Jul 2015; Michał Górny (mgorny) octave-3.8.1-r1.ebuild,
Remove slot operators from || () block where they are broken.
<div> <span class="cpvstr">sci-mathematics/fricas</span>: <span class="description">FriCAS is a fork of Axiom computer algebra system</span> </div> Andrey Grozin (grozin) 2015-06-29T11:01:25Z
*fricas-1.2.6 (29 Jun 2015)
29 Jun 2015; Andrey Grozin (grozin) -fricas-1.2.4.ebuild,
Version bump
<div> <span class="cpvstr">sci-mathematics/kodkod</span>: <span class="description">a constraint solver for relational logic</span> </div> Justin Lecher (jlec) 2015-06-28T20:01:16Z
28 Jun 2015; Justin Lecher (jlec) kodkod-1.5.2.ebuild,
Add missing eclass
<div> <span class="cpvstr">sci-mathematics/rw</span>: <span class="description">Compute rank-width decompositions of graphs</span> </div> Michael Orlitzky (mjo) 2015-06-22T15:12:57Z
*rw-0.7 (22 Jun 2015)
22 Jun 2015; Michael Orlitzky (mjo) +metadata.xml, +rw-0.7.ebuild:
New package sci-mathematics/rw to compute rank-width decompositions of graphs.
Bug #552586.
<div> <span class="cpvstr">sci-mathematics/4ti2</span>: <span class="description">Software package for algebraic, geometric and combinatorial problems</span> </div> Thomas Kahle (tomka) 2015-06-09T05:45:20Z
*4ti2-1.6.6 (09 Jun 2015)
09 Jun 2015; Thomas Kahle (tomka) +4ti2-1.6.6.ebuild:
bump to 1.6.6
<div> <span class="cpvstr">sci-mathematics/geomview</span>: <span class="description">Interactive Geometry Viewer</span> </div> Pacho Ramos (pacho) 2015-06-04T14:31:17Z
04 Jun 2015; Pacho Ramos (pacho) geomview-1.9.5.ebuild:
virtual/glu is needed (#514548)
<div> <span class="cpvstr">sci-mathematics/agda-lib-ffi</span>: <span class="description">Auxiliary Haskell code used by Agda's standard library</span> </div> Sergei Trofimovich (slyfox) 2015-06-01T21:31:18Z
01 Jun 2015; Sergei Trofimovich (slyfox) agda-lib-ffi-0.0.2.ebuild:
Port to upcoming ghc-7.10.
<div> <span class="cpvstr">sci-mathematics/gimps</span>: <span class="description">The Great Internet Mersenne Prime Search</span> </div> Agostino Sarubbo (ago) 2015-05-27T11:31:17Z
27 May 2015; Agostino Sarubbo (ago) gimps-28.6.ebuild:
Stable for x86, wrt bug #549972
<div> <span class="cpvstr">sci-mathematics/maxima</span>: <span class="description">Free computer algebra environment based on Macsyma</span> </div> Andrey Grozin (grozin) 2015-05-03T04:31:18Z
03 May 2015; Andrey Grozin (grozin) maxima-5.36.1.ebuild:
sys-proclaim is now on unconditionally, closing #548060