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/stp: build tweaksMaciej Barć2024-06-292-4/+14
* */*: Reassign marecki's packagesMichał Górny2024-06-281-4/+1
* sci-mathematics/stp: bump to 2.3.4Maciej Barć2024-06-284-0/+160
* sci-mathematics/cadical: bump to 2.0.0Maciej Barć2024-06-283-0/+61
* sci-mathematics/cadical: drop old 1.9.4Maciej Barć2024-06-282-48/+0
* sci-mathematics/flint: drop 2.9.0Michael Orlitzky2024-06-263-151/+0
* sci-mathematics/flint: add 3.1.3_p1Michael Orlitzky2024-06-263-0/+410
* sci-mathematics/gap: add 4.13.1Michael Orlitzky2024-06-132-0/+139
* sci-mathematics/cryptominisat: enable python supportMaciej Barć2024-06-132-1/+69
* sci-mathematics/cryptominisat: patch unistd includeMaciej Barć2024-06-132-0/+16
* sci-mathematics/cryptominisat: drop old 5.11.15Maciej Barć2024-06-132-40/+0
* sci-mathematics/coq: bump to 8.19.2Maciej Barć2024-06-102-0/+123
* sci-mathematics/palp: stabilize 2.21 for amd64Michael Orlitzky2024-06-061-1/+1
* sci-mathematics/cubicle: ignore TEXTRELSAlfredo Tupone2024-06-041-1/+5
* sci-mathematics/z3: Keyword 4.13.0 mips, #779742Matoro Mahri2024-06-041-1/+1
* sci-mathematics/maxima: add python3_12Andrey Grozin2024-06-041-0/+233
* sci-mathematics/singular: fix dependency on flintAlain Emilia Anna Zscheile2024-06-021-3/+3
* sci-mathematics/wxmaxima: commit 24.02.1 backAndrey Grozin2024-05-302-0/+79
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2024-05-302-79/+0
* sci-mathematics/wxmaxima: bump to 24.05.0Andrey Grozin2024-05-302-0/+79
* sci-mathematics/singular: drop 4.3.2_p10Michael Orlitzky2024-05-292-115/+0
* sci-mathematics/singular: stabilize 4.3.2_p16 for amd64Michael Orlitzky2024-05-291-1/+1
* sci-mathematics/flint: Stabilize 3.1.0 arm64, #933042Sam James2024-05-291-1/+1
* sci-mathematics/ginac: Stabilize 1.8.7-r3 amd64, #933044Sam James2024-05-291-1/+1
* sci-mathematics/flint: Stabilize 3.1.0 amd64, #933042Joonas Niilola2024-05-291-1/+1
* sci-mathematics/mathmod: add missing remote-idMichael Mair-Keimberger2024-05-261-0/+1
* sci-mathematics/mathmod: add 11.1Michael Mair-Keimberger2024-05-262-0/+39
* sci-mathematics/proverif: use edo instead of edobMaciej Barć2024-05-243-9/+9
* sci-mathematics/coq: use edo instead of edobMaciej Barć2024-05-242-2/+2
* sci-mathematics/ginac: BDEPEND on media-gfx/fig2devMario Haustein2024-05-231-0/+76
* sci-mathematics/cvc4: fix musl buildAlfredo Tupone2024-05-202-2/+89
* sci-mathematics/topcom: add 1.1.2Michael Orlitzky2024-05-153-0/+351
* sci-mathematics/gap: Stabilize 4.13.0 amd64, #931511Joonas Niilola2024-05-081-1/+1
* */*: inline mirror://sourceforgeLucio Sauer2024-04-3014-28/+28
* sci-mathematics/stp: enable py3.12 compatMaciej Barć2024-04-291-18/+26
* sci-mathematics/alectryon: enable py3.12 compatMaciej Barć2024-04-291-6/+10
* sci-mathematics/petsc: add subslot dep on sci-libs/hdf5Sam James2024-04-237-7/+7
* sci-mathematics/cadabra: bump to 2.4.5.7Maciej Barć2024-04-233-0/+163
* sci-mathematics/dunshire: add 0.1.3, drop 0.1.1-r4Michael Orlitzky2024-04-203-39/+27
* sci-mathematics/cadabra: drop old 2.4.5.5Maciej Barć2024-04-192-113/+0
* sci-mathematics/cadabra: bump to 2.4.5.6Maciej Barć2024-04-192-0/+113
* sci-mathematics/ginac: BDEPEND on media-gfx/transfigAndrey Grozin2024-04-181-0/+76
* sci-mathematics/cadabra: bump to 2.4.5.5Maciej Barć2024-04-182-0/+113
* sci-mathematics/cadabra: drop old 2.4.4.1Maciej Barć2024-04-182-105/+0
* sci-mathematics/octave: fix qscintilla dep #916232José P. R. N. Assis2024-04-161-1/+1
* sci-mathematics/gimps: drop 30.7.9, 30.19.13Paolo Pedroni2024-04-143-152/+0
* sci-mathematics/gimps: Version Bump to 30.19.14Paolo Pedroni2024-04-142-0/+75
* sci-mathematics/dunshire: support python-3.12, drop 3.9Michael Orlitzky2024-04-131-2/+2
* sci-mathematics/boolector: fix install on muslMaciej Barć2024-04-091-4/+6
* sci-mathematics/boolector: drop old 3.2.2_p20220110Maciej Barć2024-04-092-80/+0