summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/eclib: add 20231212Michael Orlitzky2024-01-062-0/+50
* sci-mathematics/z3: Remove oldMichał Górny2024-01-062-112/+0
* sci-mathematics/z3: Stabilize 4.12.4 amd64, #921493Michał Górny2024-01-061-1/+1
* sci-mathematics/z3: Stabilize 4.12.4 x86, #921493Michał Górny2024-01-061-1/+1
* sci-mathematics/z3: Stabilize 4.12.4 ppc64, #921493Arthur Zamarin2024-01-061-1/+1
* sci-mathematics/z3: Stabilize 4.12.4 sparc, #921493Sam James2024-01-061-1/+1
* sci-mathematics/z3: Stabilize 4.12.4 arm64, #921493Sam James2024-01-061-1/+1
* sci-mathematics/z3: Stabilize 4.12.4 arm, #921493Sam James2024-01-061-2/+2
* sci-mathematics/cgal: add 5.6Andrew Ammerlaan2024-01-032-0/+62
* sci-mathematics/why3-for-spark: require ocamloptAlfredo Tupone2023-12-291-5/+6
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2023-12-262-81/+0
* sci-mathematics/wxmaxima: bump to 23.12.0Andrey Grozin2023-12-262-0/+81
* profiles/use.desc: Make USE=cuda globalMichał Górny2023-12-261-1/+0
* sci-mathematics/flint: add 3.0.1Michael Orlitzky2023-12-233-0/+126
* sci-mathematics/z3: Remove oldMichał Górny2023-12-213-125/+0
* sci-mathematics/z3: Stabilize 4.12.3 x86, #920427Arthur Zamarin2023-12-211-1/+1
* sci-mathematics/z3: Stabilize 4.12.3 arm64, #920427Sam James2023-12-211-1/+1
* sci-mathematics/z3: Stabilize 4.12.3 arm, #920427Sam James2023-12-211-1/+1
* sci-mathematics/z3: Stabilize 4.12.3 amd64, #920427Sam James2023-12-211-1/+1
* sci-mathematics/z3: Stabilize 4.12.3 sparc, #920427Sam James2023-12-211-1/+1
* sci-mathematics/z3: Stabilize 4.12.3 ppc64, #920427Sam James2023-12-211-1/+1
* sci-mathematics/octave: Stabilize 8.3.0-r1 arm64, #917280Arthur Zamarin2023-12-171-1/+1
* sci-mathematics/octave: Stabilize 8.3.0-r1 arm, #917280Arthur Zamarin2023-12-171-1/+1
* sci-mathematics/cgal: Stabilize 5.5.2 amd64, #920128Arthur Zamarin2023-12-161-1/+1
* sci-mathematics/normaliz: Stabilize 3.10.1 amd64, #920149Arthur Zamarin2023-12-161-1/+1
* sci-mathematics/plfit: Stabilize 0.9.3 amd64, #920125Arthur Zamarin2023-12-161-1/+1
* sci-mathematics/plfit: Stabilize 0.9.3 x86, #920125Arthur Zamarin2023-12-161-1/+1
* sci-mathematics/octave: Stabilize 8.3.0-r1 amd64, #917280Joonas Niilola2023-12-161-1/+1
* sci-mathematics/ginac: Stabilize 1.8.7-r1 amd64, #917280Joonas Niilola2023-12-161-1/+1
* sci-mathematics/nauty: add 2.8.8Michael Orlitzky2023-12-152-0/+81
* sci-mathematics/wxmaxima: remove old versionsAndrey Grozin2023-12-153-161/+0
* sci-mathematics/wxmaxima: bump to 23.11.0Andrey Grozin2023-12-152-0/+81
* sci-mathematics/proverif: bump to 2.05Maciej Barć2023-12-101-1/+1
* sci-mathematics/proverif: bump to 2.05Maciej Barć2023-12-102-0/+67
* sci-mathematics/z3: Bump to 4.12.4Michał Górny2023-12-072-0/+108
* sci-mathematics/singular: drop USE=static-libsMichael Orlitzky2023-12-061-5/+3
* sci-mathematics/singular: add 4.3.2_p10François Bissey2023-12-062-0/+109
* sci-mathematics/z3: Bump to 4.12.3Michał Górny2023-12-052-0/+112
* sci-mathematics/cgal: Keyword 5.5.2 ppc64, #886101Arthur Zamarin2023-12-031-1/+1
* sci-mathematics/z3: Remove oldMichał Górny2023-12-022-108/+0
* sci-mathematics/z3: Stabilize 4.12.2 ppc64, #919030Arthur Zamarin2023-12-021-1/+1
* sci-mathematics/z3: Stabilize 4.12.2 x86, #919030Michał Górny2023-12-021-1/+1
* sci-mathematics/z3: Stabilize 4.12.2 amd64, #919030Arthur Zamarin2023-12-021-1/+1
* sci-mathematics/z3: Stabilize 4.12.2 sparc, #919030Arthur Zamarin2023-12-021-1/+1
* sci-mathematics/z3: Stabilize 4.12.2 arm, #919030Arthur Zamarin2023-12-021-1/+1
* sci-mathematics/z3: Stabilize 4.12.2 arm64, #919030Arthur Zamarin2023-12-021-1/+1
* sci-mathematics/lean: bump to 4.2.0Maciej Barć2023-11-302-0/+79
* sci-mathematics/singular: update LICENSEMichael Orlitzky2023-11-271-1/+4
* sci-mathematics/arb: Stabilize 2.23.0 arm64, #918176Sam James2023-11-251-1/+1
* sci-mathematics/flint: Stabilize 2.9.0 arm64, #918175Arthur Zamarin2023-11-241-1/+1