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/smtinterpol: drop 2.5_p20211018Volkmar W. Pogatzki2024-10-021-43/+0
* sci-mathematics/smtinterpol: Stabilize 2.5_p20211018-r1 amd64, #940447Sam James2024-10-021-1/+1
* sci-mathematics/coq: Stabilize 8.19.2 amd64, #940557Arthur Zamarin2024-09-301-1/+1
* sci-mathematics/boolector: bump to 3.2.4Maciej Barć2024-09-302-0/+87
* sci-mathematics/vampire: bump to 4.9Maciej Barć2024-09-302-0/+64
* sci-mathematics/z3: Bump to 4.13.2Michał Górny2024-09-282-0/+108
* sci-mathematics/fricas: remove old versionsAndrey Grozin2024-09-233-179/+0
* sci-mathematics/fricas: USE flag gmp did not work. Fixed.Andrey Grozin2024-09-231-0/+100
* sci-mathematics/cvc4: fix build on muslAlfredo Tupone2024-09-221-0/+11
* sci-mathematics/sympow: drop IUSE="" and DEPEND=""Michael Orlitzky2024-09-201-2/+0
* sci-mathematics/rw: drop IUSE=""Michael Orlitzky2024-09-201-1/+0
* sci-mathematics/rw: keyword 0.9 for ~riscvMichael Orlitzky2024-09-201-2/+2
* sci-mathematics/sympow: keyword 2.023.6 for ~riscvMichael Orlitzky2024-09-201-2/+2
* sci-mathematics/giac: remove unused patchesMichael Mair-Keimberger2024-09-202-91/+0
* sci-mathematics/lean: bump to 4.11.0Maciej Barć2024-09-202-0/+82
* 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