summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/planarity: Stabilize 3.0.2.0 x86, #864837Joonas Niilola2022-08-111-1/+1
* sci-mathematics/planarity: Stabilize 3.0.2.0 amd64, #864837Joonas Niilola2022-08-111-1/+1
* sci-mathematics/pari: Stabilize 2.13.4-r1 ppc64, #864214Arthur Zamarin2022-08-101-1/+1
* sci-mathematics/pari: Stabilize 2.13.4-r1 ppc, #864214Arthur Zamarin2022-08-101-1/+1
* sci-mathematics/pari: Stabilize 2.13.4-r1 x86, #864214Joonas Niilola2022-08-091-1/+1
* sci-mathematics/lean: drop old 3.43.0Maciej Barć2022-08-092-78/+0
* sci-mathematics/lean: bump to 3.46.0Maciej Barć2022-08-092-0/+78
* sci-mathematics/stp: compile python modulesMaciej Barć2022-08-081-1/+6
* sci-mathematics/mathematica: add 13.1.0Huang Rui2022-08-083-0/+192
* sci-mathematics/mathematica: add 13.0.1Huang Rui2022-08-083-4/+185
* sci-mathematics/pari: disable "help" tests in the absence of USE=doc.Michael Orlitzky2022-08-081-0/+9
* sci-mathematics/pari: amd64 stable wrt bug #864214Agostino Sarubbo2022-08-081-1/+1
* sci-mathematics/vampire: filter LTO (strict-aliasing)Maciej Barć2022-08-072-2/+10
* sci-mathematics/stp: filter LTO (ODR)Maciej Barć2022-08-071-2/+6
* sci-mathematics/primesieve: drop 7.7Michael Orlitzky2022-08-062-51/+0
* sci-mathematics/primesieve: stabilize 7.9 for amd64Michael Orlitzky2022-08-061-1/+1
* sci-mathematics/primecount: drop 7.2-r1Michael Orlitzky2022-08-062-55/+0
* sci-mathematics/primecount: stabilize 7.3 for amd64Michael Orlitzky2022-08-061-1/+1
* sci-mathematics/octave: drop 7.1.0Sam James2022-08-032-213/+0
* sci-mathematics/octave: add 7.2.0Sam James2022-08-032-0/+216
* sci-mathematics/lean: filter LTO (odr)Maciej Barć2022-08-024-4/+12
* sci-mathematics/z3: Stabilize 4.8.17 sparc, #862999Arthur Zamarin2022-08-021-1/+1
* sci-mathematics/z3: Bump to 4.10.2Michał Górny2022-07-302-0/+109
* sci-mathematics/octave: Move dev-qt/linguist-tools:5 to BDEPENDAndreas Sturmlechner2022-07-272-6/+8
* sci-mathematics/why3-for-spark: use httpsMichael Mair-Keimberger2022-07-263-3/+3
* sci-mathematics/why3: use httpsMichael Mair-Keimberger2022-07-263-3/+3
* sci-mathematics/vampire: bump to 4.7Maciej Barć2022-07-232-0/+58
* sci-mathematics/vampire: restrict z3 dep versionMaciej Barć2022-07-231-2/+2
* sci-mathematics/z3: Bump to 4.10.1Michał Górny2022-07-232-0/+109
* sci-mathematics/why3: remove unnecessary seq dependencyMaciej Barć2022-07-233-3/+3
* sci-mathematics/singular: remove unused patchesMichael Mair-Keimberger2022-07-193-177/+0
* sci-mathematics/cgal: add 5.5Sam James2022-07-162-0/+62
* sci-mathematics/singular: remove old "unused" ebuilds.Michael Orlitzky2022-07-164-342/+0
* sci-mathematics/lcalc: remove "unused" lcalc-2.0.5-r1.ebuild.Michael Orlitzky2022-07-161-31/+0
* sci-mathematics/lcalc: maintainer stabilize 2.0.5-r2.Michael Orlitzky2022-07-161-1/+1
* sci-mathematics/giac: new upstream release giac-1.9.0.19.Michael Orlitzky2022-07-162-0/+167
* sci-mathematics/singular: fix UnusedInherits on 4.3.1_p1Joonas Niilola2022-07-151-1/+1
* sci-mathematics/singular: upstream bump to 4.3.1_p1François Bissey2022-07-152-0/+104
* sci-mathematics/lean: drop old 3.42.1Maciej Barć2022-07-142-76/+0
* sci-mathematics/lean: bump to 3.45.0Maciej Barć2022-07-142-0/+76
* sci-mathematics/wxmaxima: bump tp 22.05.0Andrey Grozin2022-07-132-0/+80
* sci-mathematics/cadabra: drop old 2.3.8Maciej Barć2022-07-122-100/+0
* sci-mathematics/cadabra: bump to 2.3.9.3Maciej Barć2022-07-122-0/+100
* sci-mathematics/octave: x86 stable wrt bug #854489Agostino Sarubbo2022-07-081-1/+1
* sci-mathematics/mathomatic: update EAPI 6 -> 8David Seifert2022-07-071-9/+15
* sci-mathematics/z3: Fix subslot in 4.9.1Michał Górny2022-07-071-1/+1
* sci-mathematics/z3: Bump to 4.9.1Michał Górny2022-07-072-0/+109
* sci-mathematics/octave: amd64 stable wrt bug #854489Agostino Sarubbo2022-07-071-1/+1
* sci-mathematics/octave: Stabilize 6.4.0-r3 arm64, #854489Arthur Zamarin2022-07-061-1/+1
* sci-mathematics/pspp: add 1.6.2Sam James2022-07-052-0/+85