Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/lean: add missing libuv depMaciej Barć2025-01-031-0/+1
* sci-mathematics/lean: update XML metadataMaciej Barć2025-01-021-3/+8
* sci-mathematics/lean: drop old 4.2.0Maciej Barć2025-01-022-79/+0
* sci-mathematics/lean: bump to 4.14.0Maciej Barć2025-01-023-0/+120
* sci-mathematics/primesieve: Keyword 12.3 x86, #947261Joonas Niilola2025-01-011-2/+2
* sci-mathematics/why3-for-spark: fix whitespace in metadata.xmlSam James2024-12-311-1/+1
* sci-mathematics/why3-for-spark: add github upstream metadataSam James2024-12-311-0/+3
* sci-mathematics/why3-for-spark: update HOMEPAGESam James2024-12-311-1/+1
* sci-mathematics/why3: update HOMEPAGESam James2024-12-312-3/+3
* sci-mathematics/primesieve: Keyword 12.3 ppc64, #947261Sam James2024-12-311-1/+1
* sci-mathematics/wxmaxima: bump to 24.11.0Andrey Grozin2024-12-302-0/+80
* sci-mathematics/octave: update fltk[xft] USE depIonen Wolkens2024-12-261-2/+2
* sci-mathematics/giac: add binding := to fltk, soname changedIonen Wolkens2024-12-262-3/+3
* sci-mathematics/geogebra-bin: drop to maintainer-neededVolkmar W. Pogatzki2024-12-231-3/+1
* sci-mathematics/sympow: drop 2.023.6Michael Orlitzky2024-12-222-44/+0
* sci-mathematics/sympow: stabilize 2.023.7 for amd64Michael Orlitzky2024-12-221-1/+1
* sci-mathematics/flint: pass --disable-assembly to ./configureMichael Orlitzky2024-12-181-0/+2
* sci-mathematics/z3: Bump to 4.13.4Michał Górny2024-12-182-0/+108
* sci-mathematics/gmp-ecm: add 7.0.6Patrick Lauer2024-12-162-0/+66
* sci-mathematics/why3-for-spark: drop myself as a maintainerAlfredo Tupone2024-12-151-2/+2
* sci-mathematics/lean: Stabilize 4.11.0 amd64, #946385Sam James2024-12-141-1/+1
* sci-mathematics/coq: Stabilize 8.20.0 amd64, #946384Sam James2024-12-141-1/+1
* sci-mathematics/flint: fix C23 build, switch back to autotoolsMichael Orlitzky2024-12-133-0/+144
* sci-mathematics/slepc: add 3.22.1Matthias Maier2024-12-112-0/+127
* sci-mathematics/petsc: add 3.22.2Matthias Maier2024-12-112-0/+236
* Move {sys-devel → llvm-core}/clang-runtimeMichał Górny2024-12-111-1/+1
* sci-mathematics/plfit: drop 0.9.3Michael Orlitzky2024-12-092-34/+0
* sci-mathematics/wxmaxima: Stabilize 24.05.0 amd64, #945579Sam James2024-12-061-1/+1
* sci-mathematics/cgal: Stabilize 6.0 amd64, #945551Sam James2024-12-051-1/+1
* sci-mathematics/plfit: Stabilize 0.9.5 amd64, #945558Sam James2024-12-051-1/+1
* sci-mathematics/gfan: Stabilize 0.6.2-r6 amd64, #945552Sam James2024-12-051-1/+1
* sci-mathematics/singular: Stabilize 4.4.0_p6 amd64, #945580Joonas Niilola2024-12-031-1/+1
* sci-mathematics/plfit: Stabilize 0.9.5 x86, #945558Jakov Smolić2024-12-011-1/+1
* sci-mathematics/why3-for-spark: VariableOrderWrongAlfredo Tupone2024-11-281-3/+3
* sci-mathematics/gap: backport another upstream patchMichael Orlitzky2024-11-242-1/+54
* sci-mathematics/cgal: add 6.0.1 w/ testsSam James2024-11-232-0/+70
* sci-mathematics/polymake: add 4.13, drop 4.12Michael Orlitzky2024-11-233-66/+2
* sci-mathematics/gap: add 4.14.0_beta1Michael Orlitzky2024-11-232-0/+139
* Rename dev-python/{PyGithub → pygithub}Michał Górny2024-11-231-1/+1
* Rename dev-python/{OutputCheck → outputcheck}Michał Górny2024-11-221-1/+1
* Rename dev-python/{GitPython → gitpython}Michał Górny2024-11-221-1/+1
* sci-mathematics/why3: Fix sa_handler signatureAlfredo Tupone2024-11-202-0/+13
* sci-mathematics/glpk: fix the build with gcc-15Michael Orlitzky2024-11-191-0/+4
* sci-mathematics/why3: add 1.7.2Alfredo Tupone2024-11-192-0/+108
* sci-mathematics/coq-serapi: drop old 0.19.0Maciej Barć2024-11-192-77/+0
* sci-mathematics/coq: drop old 8.19.1Maciej Barć2024-11-192-123/+0
* sci-mathematics/coq: drop old 8.19.0Maciej Barć2024-11-192-123/+0
* sci-mathematics/clipper2: update ebuild, add testsPaul Zander2024-11-162-5/+27
* sci-mathematics/manifold: bump to 3.0.0_pre20241115Paul Zander2024-11-163-20/+40
* sci-mathematics/manifold: new package, add 3.0.0_pre20241108Chris Mayo2024-11-162-0/+64