Gentoo Packages /category/sci-mathematics/ http://www.gentoo.org/favicon.ico http://packages.gentoo.org/feed/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> http://packages.gentoo.org/package/sci-mathematics/coq?ts=2015-07-05T20:43:27Z Jauhien Piatlicki (jauhien) http://cia.vc/stats/author/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> http://packages.gentoo.org/package/sci-mathematics/octave?ts=2015-07-05T15:01:17Z Michał Górny (mgorny) http://cia.vc/stats/author/mgorny 2015-07-05T15:01:17Z
05 Jul 2015; Michał Górny (mgorny) octave-3.8.1-r1.ebuild,
octave-3.8.2.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> http://packages.gentoo.org/package/sci-mathematics/fricas?ts=2015-06-29T11:01:25Z Andrey Grozin (grozin) http://cia.vc/stats/author/grozin 2015-06-29T11:01:25Z
*fricas-1.2.6 (29 Jun 2015)
29 Jun 2015; Andrey Grozin (grozin) -fricas-1.2.4.ebuild,
+fricas-1.2.6.ebuild:
Version bump
<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-06-28T20:01:16Z Justin Lecher (jlec) http://cia.vc/stats/author/jlec 2015-06-28T20:01:16Z
28 Jun 2015; Justin Lecher (jlec) kodkod-1.5.2.ebuild,
metadata.xml:
Add missing eclass
<div> <span class="cpvstr">sci-mathematics/rw</span>: <span class="description">Compute rank-width decompositions of graphs</span> </div> http://packages.gentoo.org/package/sci-mathematics/rw?ts=2015-06-22T15:12:57Z Michael Orlitzky (mjo) http://cia.vc/stats/author/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> http://packages.gentoo.org/package/sci-mathematics/4ti2?ts=2015-06-09T05:45:20Z Thomas Kahle (tomka) http://cia.vc/stats/author/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> http://packages.gentoo.org/package/sci-mathematics/geomview?ts=2015-06-04T14:31:17Z Pacho Ramos (pacho) http://cia.vc/stats/author/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> http://packages.gentoo.org/package/sci-mathematics/agda-lib-ffi?ts=2015-06-01T21:31:18Z Sergei Trofimovich (slyfox) http://cia.vc/stats/author/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> http://packages.gentoo.org/package/sci-mathematics/gimps?ts=2015-05-27T11:31:17Z Agostino Sarubbo (ago) http://cia.vc/stats/author/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> http://packages.gentoo.org/package/sci-mathematics/maxima?ts=2015-05-03T04:31:18Z Andrey Grozin (grozin) http://cia.vc/stats/author/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