summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/z3: Stabilize 4.8.13 arm, #830771Sam James2022-01-091-1/+1
* sci-mathematics/z3: Stabilize 4.8.13 ppc64, #830771Sam James2022-01-091-1/+1
* sci-mathematics/z3: Stabilize 4.8.13 amd64, #830771Jakov Smolić2022-01-081-1/+1
* sci-mathematics/z3: Stabilize 4.8.13 x86, #830771Jakov Smolić2022-01-081-2/+2
* sci-mathematics/lean: bump to 3.37.0Maciej Barć2022-01-082-0/+76
* sci-mathematics/rkward: Drop 0.7.2 (r0)Andreas Sturmlechner2022-01-071-54/+0
* sci-mathematics/rkward: EAPI-8, more optfeature, various fixesAndreas Sturmlechner2022-01-076-0/+420
* sci-mathematics/petsc: EAPI 8Alessandro Barbieri2022-01-042-3/+198
* sci-mathematics/singular: Keyword 4.2.1_p3 ppc, #829986Arthur Zamarin2021-12-311-1/+1
* sci-mathematics/singular: keyword 4.2.1_p3 for ~riscvAlex Fan2021-12-291-1/+1
* sci-mathematics/topcom: keyword 0.17.8-r1 for ~riscvAlex Fan2021-12-291-1/+1
* sci-mathematics/4ti2: keyword 1.6.7-r1 for ~riscvAlex Fan2021-12-291-1/+1
* sci-mathematics/polymake: keyword 4.5 for ~riscvAlex Fan2021-12-291-1/+1
* sci-mathematics/normaliz: keyword 3.8.10-r1 for ~riscvAlex Fan2021-12-291-1/+1
* sci-mathematics/nauty: keyword 2.7.3 for ~riscvAlex Fan2021-12-291-1/+1
* sci-mathematics/cliquer: keyword 1.22 for ~riscvAlex Fan2021-12-291-1/+1
* sci-mathematics/smtinterpol: new package; add version 2.5_p20211018Maciej Barć2021-12-285-0/+78
* sci-mathematics/cadical: patch direct call to arMaciej Barć2021-12-282-0/+15
* sci-mathematics/cadical: new package; add version 1.5.2Maciej Barć2021-12-283-0/+47
* sci-mathematics/alt-ergo: fix depsMaciej Barć2021-12-281-1/+5
* sci-mathematics/psmt2-frontend: metadata: add longdescription and upstreamMaciej Barć2021-12-281-0/+8
* sci-mathematics/alt-ergo: bump to 2.4.1Maciej Barć2021-12-282-0/+45
* sci-mathematics/psmt2-frontend: bump to 0.4.0Maciej Barć2021-12-282-0/+24
* sci-mathematics/psmt2-frontend: change maint: tupone -> ml & sciMaciej Barć2021-12-281-4/+9
* sci-mathematics/alt-ergo: maint change: tupone -> ml & sciMaciej Barć2021-12-271-15/+21
* sci-mathematics/stp: multiple fixesMaciej Barć2021-12-276-67/+161
* sci-mathematics/stp: dev-libs -> sci-mathematicsMaciej Barć2021-12-273-0/+72
* sci-mathematics/cryptominisat: new package; add version 5.8.0Maciej Barć2021-12-263-0/+62
* sci-mathematics/minisat: bump to 2.2.1Maciej Barć2021-12-263-7/+54
* sci-mathematics/primecount: new revision to fix popcnt usage.Michael Orlitzky2021-12-261-1/+2
* sci-mathematics/primesieve: drop trailing full stop from DESCRIPTIONSam James2021-12-261-1/+1
* sci-mathematics/lean: change maintainer to Gentoo Mathematics ProjectMaciej Barć2021-12-251-4/+4
* sci-mathematics/mathlib-tools: change maintainer to Gentoo Mathematics ProjectMaciej Barć2021-12-251-4/+4
* sci-mathematics/metamath: change maintainer to Gentoo Mathematics ProjectMaciej Barć2021-12-251-4/+4
* sci-mathematics/vampire: change maintainer to Gentoo Mathematics ProjectMaciej Barć2021-12-251-3/+3
* sci-mathematics/verit: change maintainer to Gentoo Mathematics ProjectMaciej Barć2021-12-251-3/+3
* sci-mathematics/singular: move to 4.2.1p3 - sync with 4.2.1-r1 optionsFrançois Bissey2021-12-252-33/+38
* sci-mathematics/singular: Update to singular 4.2.1p2François Bissey2021-12-253-0/+161
* sci-mathematics/verit: src_install - defaultMaciej Barć2021-12-241-3/+1
* sci-mathematics/verit: new package; add version 2021.06.2Maciej Barć2021-12-243-0/+45
* sci-mathematics/primecount: new fast CLI/library to count primes.Michael Orlitzky2021-12-243-0/+73
* sci-mathematics/primesieve: new CLI/library to quickly generate primes.Michael Orlitzky2021-12-243-0/+75
* sci-mathematics/z3: Bump to 4.8.14Michał Górny2021-12-242-0/+104
* sci-mathematics/lcalc: new upstream v2.0.5.Michael Orlitzky2021-12-212-2/+2
* sci-mathematics/giac-1.7.0.13-r1: fix build for PrefixFabian Groffen2021-12-181-1/+1
* sci-mathematics/singular: add julia and polymake useflagsAndrew Ammerlaan2021-12-152-0/+130
* sci-mathematics/coq: drop redundant ebuildsViorel Munteanu2021-12-143-268/+0
* sci-mathematics/lrcalc: remove old "unused" lrcalc-2.0.ebuild.Michael Orlitzky2021-12-132-24/+0
* sci-mathematics/lrcalc: New upstream releaseFrançois Bissey2021-12-132-0/+24
* sci-mathematics/why3: fix *DEPENDMaciej Barć2021-12-121-14/+17