Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Collapse)AuthorAgeFilesLines
* Move {app-doc → app-text}/doxygenMichał Górny2024-01-127-12/+12
| | | | | | | | Per the category metadata, app-doc/ is reserved for documentation *files* and not software. Move it to app-text/ where it seems a better fit. Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/form: LaTeX fix in devrefAndrey Grozin2024-01-111-3/+18
| | | | | Closes: https://bugs.gentoo.org/921716 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/fricas: bump to 1.3.10Andrey Grozin2024-01-112-0/+79
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/glpk: update EAPI 7 -> 8, add libltdl depMichael Orlitzky2024-01-101-0/+96
| | | | | | | With USE=mysql or USE=odbc, dev-libs/libltdl is required (per INSTALL). Closes: https://bugs.gentoo.org/921718 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/geogebra-bin: sort keywordsAndrew Ammerlaan2024-01-101-1/+1
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/geogebra-bin: add 6.0.804.0Henri Gasc2024-01-102-0/+69
| | | | | | Closes: https://bugs.gentoo.org/900973 Signed-off-by: Henri Gasc <gasc@eurecom.fr> Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/form: remove old versionAndrey Grozin2024-01-102-101/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/form: add a forgotten patchAndrey Grozin2024-01-101-0/+15
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/form: bump to 5.0.0_beta1Andrey Grozin2024-01-102-0/+103
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/opensmt: sys-devel/bison -> app-alternatives/yaccSam James2024-01-081-1/+1
| | | | | | | | | | All of these will be using app-alternatives/yacc anyway as they're not unsetting YACC or LEX, so make the dep reflect reality. (Included both YACC and LEX out of conservatism.) Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/bertini: sys-devel/bison -> app-alternatives/yaccSam James2024-01-082-2/+2
| | | | | | | | | | All of these will be using app-alternatives/yacc anyway as they're not unsetting YACC or LEX, so make the dep reflect reality. (Included both YACC and LEX out of conservatism.) Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/opensmt: sys-devel/flex -> app-alternatives/lexSam James2024-01-081-2/+2
| | | | | | | | | | All of these will be using app-alternatives/lex anyway as they're not unsetting YACC or LEX, so make the dep reflect reality. (Included both YACC and LEX out of conservatism.) Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/genius: sys-devel/flex -> app-alternatives/lexSam James2024-01-081-2/+2
| | | | | | | | | | All of these will be using app-alternatives/lex anyway as they're not unsetting YACC or LEX, so make the dep reflect reality. (Included both YACC and LEX out of conservatism.) Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/bertini: sys-devel/flex -> app-alternatives/lexSam James2024-01-082-4/+4
| | | | | | | | | | All of these will be using app-alternatives/lex anyway as they're not unsetting YACC or LEX, so make the dep reflect reality. (Included both YACC and LEX out of conservatism.) Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/eclib: add 20231212Michael Orlitzky2024-01-062-0/+50
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2024-01-062-112/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.4 amd64, #921493Michał Górny2024-01-061-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.4 x86, #921493Michał Górny2024-01-061-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.4 ppc64, #921493Arthur Zamarin2024-01-061-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.4 sparc, #921493Sam James2024-01-061-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.4 arm64, #921493Sam James2024-01-061-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.4 arm, #921493Sam James2024-01-061-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cgal: add 5.6Andrew Ammerlaan2024-01-032-0/+62
| | | | | Closes: https://bugs.gentoo.org/921180 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/why3-for-spark: require ocamloptAlfredo Tupone2023-12-291-5/+6
| | | | | Closes: https://bugs.gentoo.org/913497 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2023-12-262-81/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 23.12.0Andrey Grozin2023-12-262-0/+81
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* profiles/use.desc: Make USE=cuda globalMichał Górny2023-12-261-1/+0
| | | | | | | | Add a global USE=cuda. It is used semi-consistently in 39 packages. Signed-off-by: Michał Górny <mgorny@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/34348 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/flint: add 3.0.1Michael Orlitzky2023-12-233-0/+126
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2023-12-213-125/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.3 x86, #920427Arthur Zamarin2023-12-211-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.3 arm64, #920427Sam James2023-12-211-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.3 arm, #920427Sam James2023-12-211-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.3 amd64, #920427Sam James2023-12-211-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.3 sparc, #920427Sam James2023-12-211-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.3 ppc64, #920427Sam James2023-12-211-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: Stabilize 8.3.0-r1 arm64, #917280Arthur Zamarin2023-12-171-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/octave: Stabilize 8.3.0-r1 arm, #917280Arthur Zamarin2023-12-171-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/cgal: Stabilize 5.5.2 amd64, #920128Arthur Zamarin2023-12-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/normaliz: Stabilize 3.10.1 amd64, #920149Arthur Zamarin2023-12-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/plfit: Stabilize 0.9.3 amd64, #920125Arthur Zamarin2023-12-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/plfit: Stabilize 0.9.3 x86, #920125Arthur Zamarin2023-12-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/octave: Stabilize 8.3.0-r1 amd64, #917280Joonas Niilola2023-12-161-1/+1
| | | | Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/ginac: Stabilize 1.8.7-r1 amd64, #917280Joonas Niilola2023-12-161-1/+1
| | | | Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/nauty: add 2.8.8Michael Orlitzky2023-12-152-0/+81
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionsAndrey Grozin2023-12-153-161/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 23.11.0Andrey Grozin2023-12-152-0/+81
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/proverif: bump to 2.05Maciej Barć2023-12-101-1/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/proverif: bump to 2.05Maciej Barć2023-12-102-0/+67
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: Bump to 4.12.4Michał Górny2023-12-072-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/singular: drop USE=static-libsMichael Orlitzky2023-12-061-5/+3
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>