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
* sci-mathematics/cadabra: bump to 2.4.5.4Maciej Barć2024-01-252-0/+112
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadabra: drop old 2.4.3.2-r1Maciej Barć2024-01-252-105/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: bump to 8.19.0Maciej Barć2024-01-252-0/+123
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/singular: drop 4.3.2_p1Michael Orlitzky2024-01-222-109/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/nauty: drop 2.8.6-r1Michael Orlitzky2024-01-223-218/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gap: use a bash array for econf argsMichael Orlitzky2024-01-221-8/+10
| | | | | Suggested-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gap: fix regeneration of aclocal.m4Michael Orlitzky2024-01-221-0/+8
| | | | | | | | Without AC_CONFIG_MACRO_DIRS in configure.ac, running eautoconf clobbers the important m4_include directives in aclocal.m4, leading to libtool version errors in the build. A quick "sed" does the trick. Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gap: drop USE=emacs (a no-op)Michael Orlitzky2024-01-221-1/+1
| | | | | | | | | | | | Some day, this might pull in app-emacs/gap-mode, which does not yet exist. I tried to package it but it throws several warnings in the latest version of emacs: https://gitlab.com/gvol/gap-mode/-/issues/13 For now let's drop the flag since it doesn't do anything. Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gap: update dev-util/valgrind -> dev-debug/valgrindMichael Orlitzky2024-01-221-1/+1
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gap: PDEPEND on autoloaded packages without USE=minimalMichael Orlitzky2024-01-222-2/+30
| | | | | | | This completes the rest of the dependency circle for GAP and the packages that it sort-of depends on. Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gap: depend on required packages, enable testsMichael Orlitzky2024-01-221-2/+33
| | | | | | | | Now that the four "required" GAP packages are in the tree, GAP itself should depend upon them. Afterwards, its test suite is usable (modulo circular dependency issues). Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gap: new package, add 4.12.2Michael Orlitzky2024-01-223-0/+114
| | | | | | | | This is not really functional for the moment, because GAP has several required packages that cannot be added until GAP itself is in the tree due to circular dependencies. Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/nauty: Stabilize 2.8.8 amd64, #922648Sam James2024-01-221-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/singular: Stabilize 4.3.2_p10 amd64, #922647Sam James2024-01-221-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Bump to 4.12.5Michał Górny2024-01-222-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/cvc4: PythonCompatUpdateAlfredo Tupone2024-01-191-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/lean: Stabilize 4.2.0 amd64, #922367Sam James2024-01-181-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: Stabilize 8.18.0 amd64, #915951Matoro Mahri2024-01-161-2/+2
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Viorel Munteanu <ceamac@gentoo.org>
* sci-mathematics/eprover: bump to 3.0.03Maciej Barć2024-01-152-0/+77
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/gappa: bump to 1.4.2Maciej Barć2024-01-152-0/+44
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 4.2.0_rc4Maciej Barć2024-01-152-79/+0
| | | | | Closes: https://bugs.gentoo.org/916306 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-mathcomp: bump to 1.19.0Maciej Barć2024-01-152-0/+26
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-mathcomp: drop old 1.16.0-r1Maciej Barć2024-01-152-26/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: drop old 0.17.0Maciej Barć2024-01-152-71/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* Move {sys-devel → dev-build}/autoconf-archiveMichał Górny2024-01-151-2/+2
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* Move {dev-util → dev-build}/cmakeMichał Górny2024-01-1411-33/+33
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/34792 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* 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>