summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/coq: update metadataMaciej Barć2022-02-271-1/+3
* sci-mathematics/lean: remove USE=json and inherit of optfeatureMaciej Barć2022-02-225-16/+13
* sci-mathematics/lean: drop old 3.37.0Maciej Barć2022-02-222-76/+0
* sci-mathematics/lean: bump to 3.40.0Maciej Barć2022-02-222-0/+76
* sci-mathematics/yacas: add version 1.9.1Andrew Ammerlaan2022-02-192-0/+76
* sci-mathematics/coq: fix doc build - add missing fontsMaciej Barć2022-02-181-0/+2
* sci-mathematics/coq: fix doc build - add xetex depMaciej Barć2022-02-181-0/+1
* sci-mathematics/coq: add missing latexextra depMaciej Barć2022-02-171-0/+1
* sci-mathematics/cvc4: fix deps checkAlfredo Tupone2022-02-171-3/+6
* sci-mathematics/coq: enable docMaciej Barć2022-02-171-16/+17
* sci-mathematics/fann: fix DeprecatedInsintoConrad Kostecki2022-02-132-6/+6
* sci-mathematics/z3: Remove oldMichał Górny2022-02-122-104/+0
* sci-mathematics/z3: Stabilize 4.8.14 arm64, #833068Arthur Zamarin2022-02-111-1/+1
* sci-mathematics/z3: Stabilize 4.8.14 arm, #833068Arthur Zamarin2022-02-111-1/+1
* sci-mathematics/why3-for-spark: remove unused patchMichael Mair-Keimberger2022-02-101-25/+0
* sci-mathematics/z3: Stabilize 4.8.14 ppc64, #833068Sam James2022-02-101-1/+1
* sci-mathematics/z3: Stabilize 4.8.14 x86, #833068Sam James2022-02-101-1/+1
* sci-mathematics/z3: Stabilize 4.8.14 amd64, #833068Jakov Smolić2022-02-101-2/+2
* sci-mathematics/cvc4: revbump for CMake config file fixSam James2022-02-091-0/+0
* sci-mathematics/cvc4: fix library pathAlfredo Tupone2022-02-081-0/+9
* sci-mathematics/lean: drop old 3.35.1-r2Maciej Barć2022-02-082-76/+0
* sci-mathematics/lean: bump to 3.39.1Maciej Barć2022-02-082-0/+76
* sci-mathematics/cvc4: fix depsAlfredo Tupone2022-02-081-1/+5
* sci-mathematics/cvc4: remove unused CMake variablesAlfredo Tupone2022-02-081-3/+1
* sci-mathematics/why3-for-spark: ignore CFLAGSAlfredo Tupone2022-02-071-12/+14
* sci-mathematics/why3-for-spark: works with new ocaml tooAlfredo Tupone2022-02-071-2/+2
* sci-mathematics/polymake: Stabilize 4.6 amd64, #832376Jakov Smolić2022-02-071-1/+1
* sci-mathematics/singular: Stabilize 4.2.1_p3-r1 amd64, #832376Jakov Smolić2022-02-071-1/+1
* sci-mathematics/why3-for-spark: duplicate depsAlfredo Tupone2022-02-071-1/+0
* sci-mathematics/why3-for-spark: fix doc depsAlfredo Tupone2022-02-071-1/+2
* sci-mathematics/singular: Drop julia configure switchJakov Smolić2022-02-071-1/+0
* sci-mathematics/why3-for-spark: drop old versionAlfredo Tupone2022-02-064-78/+3
* sci-mathematics/cvc4: PythonCompatUpdateAlfredo Tupone2022-02-052-4/+4
* sci-mathematics/singular: drop USE=julia in a new revision.Michael Orlitzky2022-02-043-126/+2
* sci-mathematics/giac: remove old "unused" giac-1.7.0.45.ebuild.Michael Orlitzky2022-02-022-166/+0
* sci-mathematics/giac: version bump. Disable quickjs.François Bissey2022-02-022-0/+167
* sci-mathematics/ginac: ginac-1.8.2[doc] DEPENDs on texlive-latexextraAndrey Grozin2022-02-021-0/+1
* sci-mathematics/arb: bump to 2.22.1Andrey Grozin2022-02-022-0/+34
* sci-mathematics/ginac: bump to 1.8.2Andrey Grozin2022-02-023-0/+85
* sci-mathematics/polymake: new upstream release polymake-4.6.Michael Orlitzky2022-01-302-4/+8
* sci-mathematics/lean: bump to 3.38.0Maciej Barć2022-01-302-0/+76
* sci-mathematics/primecount: maintainer stabilize on amd64.Michael Orlitzky2022-01-301-2/+2
* sci-mathematics/primesieve: maintainer stabilize on amd64.Michael Orlitzky2022-01-301-2/+2
* */*: consistent PYTHON_COMPAT styleDavid Seifert2022-01-301-2/+2
* sci-mathematics/easycrypt: fix theories location; bump to EAPI 8Maciej Barć2022-01-301-5/+12
* sci-mathematics/msieve: fix build systemDavid Seifert2022-01-294-29/+128
* sci-mathematics/coq: bump to 8.15.0Maciej Barć2022-01-282-0/+107
* sci-mathematics/mathematica: drop unused unpacker.eclassAndreas K. Hüttel2022-01-282-4/+4
* sci-mathematics/mathematica: bump to 13.0.0Huang Rui2022-01-282-0/+105
* sci-mathematics/mathematica: bump to 12.2.0Huang Rui2022-01-282-0/+105