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: drop ~x86 KEYWORDMaciej Barć2024-09-201-1/+1
* */*: unkeyword ~ia64Arthur Zamarin2024-09-122-2/+2
* sci-mathematics/giac: delete more build artifacts in src_prepare()Michael Orlitzky2024-09-101-3/+9
* sci-mathematics/dunshire: remove pypi upstream metadataMichael Orlitzky2024-09-091-4/+0
* sci-mathematics/twelf: mark as LTO-unsafeEli Schwartz2024-09-091-1/+7
* sci-mathematics/twelf: update HOMEPAGE for httpsEli Schwartz2024-09-091-1/+1
* sci-mathematics/twelf: update SRC_URI to new mirrorEli Schwartz2024-09-091-2/+2
* sci-mathematics/twelf: add github upstream metadataEli Schwartz2024-09-091-0/+3
* sci-mathematics/coq: fix SRC_URIMaciej Barć2024-09-091-2/+2
* sci-mathematics/coq-serapi: bump to 0.20.0Maciej Barć2024-09-092-0/+84
* sci-mathematics/coq: bump to 8.20.0Maciej Barć2024-09-092-0/+140
* sci-mathematics/dunshire: Remove `det setup.py` false positiveMichał Górny2024-09-081-7/+13
* sci-mathematics/giac: drop 1.9.0.93Michael Orlitzky2024-09-052-190/+0
* sci-mathematics/giac: add patch to fix GLIBCXX_ASSERTIONS crashMichael Orlitzky2024-09-052-0/+44
* sci-mathematics/giac: Update glibcxx assertion patch for a more complete cove...François Bissey2024-09-051-0/+17
* sci-mathematics/giac: add 1.9.0.995François Bissey2024-09-053-0/+213
* sci-mathematics/rkward: drop 0.7.5Andreas Sturmlechner2024-09-052-58/+0
* sci-mathematics/smtinterpol: build without BSFIX, drop java-ant-2Volkmar W. Pogatzki2024-09-031-0/+44
* sci-mathematics/maxima: keyword 5.47.0-r1 for ~riscvMichael Orlitzky2024-09-011-1/+1
* sci-mathematics/gimps: Stabilize 30.19.20 amd64, #938726Sam James2024-08-311-1/+1
* sci-mathematics/octave: drop 9.2.0Andreas Sturmlechner2024-08-291-218/+0
* sci-mathematics/octave: Add missing dependencies w/ USE=guiAndreas Sturmlechner2024-08-291-0/+220
* sci-mathematics/gfan: fix startup crash, other improvementsMichael Orlitzky2024-08-294-0/+173
* sci-mathematics/gap,dev-gap/*: add ~riscv keywordsMichael Orlitzky2024-08-291-1/+1
* sci-mathematics/polymake: add 4.12Michael Orlitzky2024-08-293-0/+182
* sci-mathematics/lcalc: keyword 2.0.5-r2 for ~riscvMichael Orlitzky2024-08-261-2/+2
* sci-mathematics/gfan: fix cosmetic pkgcheck warningMichael Orlitzky2024-08-261-2/+2
* sci-mathematics/gfan: keyword 0.6.2-r4 for ~riscvMichael Orlitzky2024-08-261-1/+1
* sci-mathematics/mathmod: drop oldMichael Mair-Keimberger2024-08-262-50/+0
* sci-mathematics/gsl-shell: remove unused patchesMichael Mair-Keimberger2024-08-262-37/+0
* sci-mathematics/singular: add 4.4.0_p2François Bissey2024-08-232-0/+107
* sci-mathematics/planarity: fix remote-id in metadata.xmlEmanuele Torre2024-08-231-3/+1
* sci-mathematics/planarity: keyword 3.0.2.0 for ~riscvMichael Orlitzky2024-08-201-2/+2
* sci-mathematics/lrcalc: keyword 2.1 for ~riscvMichael Orlitzky2024-08-201-2/+2
* sci-mathematics/palp: keyword 2.21 for ~riscvMichael Orlitzky2024-08-201-1/+1
* sci-mathematics/primecount: keyword 7.13-r1 for ~riscvMichael Orlitzky2024-08-201-1/+1
* sci-mathematics/primesieve: keyword 12.3 for ~riscvMichael Orlitzky2024-08-201-1/+1
* sci-mathematics/eclib: keyword 20240408 for ~riscvMichael Orlitzky2024-08-201-1/+1
* sci-mathematics/eclib: add 20240408François Bissey2024-08-202-0/+50
* sci-mathematics/pari: keyword 2.15.5 for ~riscvMichael Orlitzky2024-08-191-1/+1
* sci-mathematics/pari-data: fix cosmetic pkgcheck warningsMichael Orlitzky2024-08-191-3/+1
* sci-mathematics/pari-data: keyword 20191216 for ~riscvMichael Orlitzky2024-08-191-2/+2
* sci-mathematics/jags: make sure elibtoolize is appliedEli Schwartz2024-08-051-1/+6
* sci-mathematics/jags: add missing automagic dependencyEli Schwartz2024-08-051-0/+1
* sci-mathematics/dunshire: add missing die (thanks sam)Michael Orlitzky2024-08-041-1/+1
* sci-mathematics/dunshire: don't use setup.py for testsMichael Orlitzky2024-08-041-1/+5
* sci-mathematics/flint: drop 3.0.1, 3.1.0Michael Orlitzky2024-08-034-196/+0
* sci-mathematics/flint: Stabilize 3.1.3_p1 amd64, #937121Joonas Niilola2024-08-031-1/+1
* sci-mathematics/flint: Stabilize 3.1.3_p1 arm64, #937121Sam James2024-08-021-1/+1
* sci-mathematics/gsl-shell: update metadata.xmlPacho Ramos2024-07-311-3/+0