summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/kind2: new package; add 1.9.0Maciej Barć2023-06-033-0/+65
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/pari-data: destabilize for ~ppcArthur Zamarin2023-06-031-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/pari: destabilize for ~ppcArthur Zamarin2023-06-031-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/num-utils: destabilize for ~ppcArthur Zamarin2023-06-031-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/gmm: destabilize for ~ppcArthur Zamarin2023-06-031-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/glpk: destabilize for ~ppcArthur Zamarin2023-06-031-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/maxima: remove oldAndrey Grozin2023-06-011-228/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/maxima: bump to 5.47.0Andrey Grozin2023-06-012-0/+229
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2023-05-312-52/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: Stabilize 23.04.1 amd64, #888462Arthur Zamarin2023-05-311-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/wxmaxima: Stabilize 23.04.1 x86, #888462Arthur Zamarin2023-05-301-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionsAndrey Grozin2023-05-293-159/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 23.05.1Andrey Grozin2023-05-292-0/+80
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/coq: Stabilize 8.17.0 x86, #907179Arthur Zamarin2023-05-261-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/ent: Stabilize 101202 x86, #891229Arthur Zamarin2023-05-261-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/ent: Stabilize 101202 amd64, #891229Sam James2023-05-261-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: add 8.2.0Sam James2023-05-262-0/+242
| | | | | | Closes: https://bugs.gentoo.org/907183 Closes: https://bugs.gentoo.org/901965 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/lean: Stabilize 3.50.3 amd64, #907180Sam James2023-05-261-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/acl2: need to rebuild ACL2 "core" on sbcl updateMaciej Barć2023-05-251-1/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/ginac: remove old versionAndrey Grozin2023-05-253-77/+4
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/form: added myself as a maintainerAndrey Grozin2023-05-251-0/+4
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: added myself as a maintainerAndrey Grozin2023-05-251-0/+4
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/maxima: added myself as a maintainerAndrey Grozin2023-05-251-6/+10
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/lean: bump to 3.51.1Maciej Barć2023-05-252-0/+81
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* */*: remove x86-solaris keywordFabian Groffen2023-05-241-1/+1
| | | | Signed-off-by: Fabian Groffen <grobian@gentoo.org>
* sci-mathematics/form: remove old versionAndrey Grozin2023-05-242-82/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/form: bump to 4.3.1Andrey Grozin2023-05-242-0/+101
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/plfit: new package, add 0.9.3Michael Orlitzky2023-05-223-0/+47
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/normaliz: add 3.10.0Michael Orlitzky2023-05-212-0/+74
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/polymake: add 4.9, drop 4.8Michael Orlitzky2023-05-212-2/+2
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/wxmaxima: bump to 23.05.0Andrey Grozin2023-05-192-0/+80
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/lean: bump to 3.51.0Maciej Barć2023-05-172-0/+81
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionsAndrey Grozin2023-05-143-160/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: DEPEND on wxGTK:3.2-gtk3Andrey Grozin2023-05-141-0/+79
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/eclib: add 20230424François Bissey2023-05-092-0/+46
| | | | | | | | | | | New version by François in which I've bumped the soname/subslot. The latest version has a backwards-incompatible change, but the "age" component of the library version wasn't reset. The ebuild does that now. Closes: https://github.com/gentoo/gentoo/pull/30912 Signed-off-by: François Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/slepc: update SRC_URI and fix USE=docMatthias Maier2023-05-072-1/+9
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/slepc: add 3.19.0Matthias Maier2023-05-072-0/+119
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/petsc: add 3.19.1Matthias Maier2023-05-072-0/+237
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/lpsolve: drop 5.5.2.0-r1Andreas Sturmlechner2023-05-032-21/+0
| | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/lpsolve: Stabilize 5.5.2.11-r2 amd64, #894400Sam James2023-05-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/form: workaround GCC -fchecking ICE w/ -Wno-uninitializedSam James2023-04-301-1/+4
| | | | | | | | | Reported upstream at https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109521 but let's apply a workaround for now to avoid dupes. It's "only" an error in diagnostics anyway. Closes: https://bugs.gentoo.org/904339 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/lpsolve: Stabilize 5.5.2.11-r2 x86, #894400Arthur Zamarin2023-04-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/lpsolve: Stabilize 5.5.2.11-r2 arm64, #894400Arthur Zamarin2023-04-261-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/wxmaxima: bump to 23.04.1Andrey Grozin2023-04-252-0/+80
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/maxima: Stabilize 5.46.0-r1 x86, #904613Jakov Smolić2023-04-231-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/cadabra: gtk -> gui; minor tweaksMaciej Barć2023-04-231-7/+7
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadabra: drop old 2.4.2.2-r1Maciej Barć2023-04-232-105/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadabra: update PYTHON_COMPATMaciej Barć2023-04-231-1/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadabra: drop old 2.4.2.1-r1Maciej Barć2023-04-202-105/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/maxima: Stabilize 5.46.0-r1 amd64, #904613Sam James2023-04-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>