Gentoo Packages /category/sci-mathematics/ http://www.gentoo.org/favicon.ico http://packages.gentoo.org/feed/category/sci-mathematics Gentoo Packages2 2014-08-20T12:01:18Z <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=2014-08-18T07:33:26Z Thomas Kahle (tomka) http://cia.vc/stats/author/tomka 2014-08-18T07:33:26Z
*normaliz-2.5-r1 (18 Aug 2014)
18 Aug 2014; Thomas Kahle (tomka) +normaliz-2.5-r1.ebuild,
-files/normaliz-2.7-respect-flags.patch,
-files/normaliz-2.8-respect-flags.patch:
Undo drop (bug #520160)
<div> <span class="cpvstr">sci-mathematics/flint</span>: <span class="description">Fast Library for Number Theory</span> </div> http://packages.gentoo.org/package/sci-mathematics/flint?ts=2014-08-14T16:31:35Z Pawel Hajdan jr (phajdan.jr) http://cia.vc/stats/author/phajdan.jr 2014-08-14T16:31:35Z
14 Aug 2014; Pawel Hajdan jr (phajdan.jr) flint-2.4.4-r1.ebuild:
x86 stable wrt bug #518208
<div> <span class="cpvstr">sci-mathematics/nauty</span>: <span class="description">program for computing automorphism groups of graphs and digraphs</span> </div> http://packages.gentoo.org/package/sci-mathematics/nauty?ts=2014-08-10T20:31:35Z Sergei Trofimovich (slyfox) http://cia.vc/stats/author/slyfox 2014-08-10T20:31:35Z
10 Aug 2014; Sergei Trofimovich (slyfox) nauty-2.4.2.ebuild:
QA: drop trailing '.' from DESCRIPTION
<div> <span class="cpvstr">sci-mathematics/spin</span>: <span class="description">Tool for formal verification of distributed software systems</span> </div> http://packages.gentoo.org/package/sci-mathematics/spin?ts=2014-08-10T20:31:35Z Sergei Trofimovich (slyfox) http://cia.vc/stats/author/slyfox 2014-08-10T20:31:35Z
10 Aug 2014; Sergei Trofimovich (slyfox) spin-6.2.1.ebuild,
spin-6.2.3.ebuild, spin-6.2.5.ebuild:
QA: drop trailing '.' from DESCRIPTION
<div> <span class="cpvstr">sci-mathematics/minisat</span>: <span class="description">Small yet efficient SAT solver with reference paper</span> </div> http://packages.gentoo.org/package/sci-mathematics/minisat?ts=2014-08-10T20:31:35Z Sergei Trofimovich (slyfox) http://cia.vc/stats/author/slyfox 2014-08-10T20:31:35Z
10 Aug 2014; Sergei Trofimovich (slyfox) minisat-2.1.0.ebuild,
minisat-2.2.0-r3.ebuild:
QA: drop trailing '.' from DESCRIPTION
<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-08-10T20:31:35Z Sergei Trofimovich (slyfox) http://cia.vc/stats/author/slyfox 2014-08-10T20:31:35Z
10 Aug 2014; Sergei Trofimovich (slyfox) wxmaxima-0.8.2.ebuild,
wxmaxima-12.01.0.ebuild, wxmaxima-12.04.0.ebuild, wxmaxima-12.09.0.ebuild,
wxmaxima-13.04.2.ebuild:
QA: drop trailing '.' from DESCRIPTION
<div> <span class="cpvstr">sci-mathematics/kodkodi</span>: <span class="description">A text front-end for the Kodkod Java library</span> </div> http://packages.gentoo.org/package/sci-mathematics/kodkodi?ts=2014-08-10T20:31:35Z Sergei Trofimovich (slyfox) http://cia.vc/stats/author/slyfox 2014-08-10T20:31:35Z
10 Aug 2014; Sergei Trofimovich (slyfox) kodkodi-1.5.2.ebuild:
QA: drop trailing '.' from DESCRIPTION
<div> <span class="cpvstr">sci-mathematics/pymc</span>: <span class="description">Markov chain Monte Carlo for Python</span> </div> http://packages.gentoo.org/package/sci-mathematics/pymc?ts=2014-08-10T20:31:35Z Sergei Trofimovich (slyfox) http://cia.vc/stats/author/slyfox 2014-08-10T20:31:35Z
10 Aug 2014; Sergei Trofimovich (slyfox) pymc-2.2.ebuild,
pymc-9999.ebuild:
QA: drop trailing '.' from DESCRIPTION
<div> <span class="cpvstr">sci-mathematics/p9m4</span>: <span class="description">This is a Graphical User Interface for Prover9 and Mace4</span> </div> http://packages.gentoo.org/package/sci-mathematics/p9m4?ts=2014-08-10T20:31:35Z Sergei Trofimovich (slyfox) http://cia.vc/stats/author/slyfox 2014-08-10T20:31:35Z
10 Aug 2014; Sergei Trofimovich (slyfox) p9m4-05.ebuild:
QA: drop trailing '.' from DESCRIPTION
<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=2014-08-10T20:31:35Z Sergei Trofimovich (slyfox) http://cia.vc/stats/author/slyfox 2014-08-10T20:31:35Z
10 Aug 2014; Sergei Trofimovich (slyfox) agda-lib-ffi-0.0.2.ebuild:
QA: drop trailing '.' from DESCRIPTION