summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 arm64, #918178Arthur Zamarin2023-11-241-1/+1
* sci-mathematics/wxmaxima: stabilize 23.07.0 for amd64Pacho Ramos2023-11-241-1/+1
* sci-mathematics/maxima: update LICENSEMichael Orlitzky2023-11-221-1/+6
* sci-mathematics/giac: update LICENSEMichael Orlitzky2023-11-221-1/+5
* sci-mathematics/cliquer: update LICENSEMichael Orlitzky2023-11-221-1/+2
* sci-mathematics/eclib: update LICENSEMichael Orlitzky2023-11-221-1/+3
* sci-mathematics/pari: update LICENSEMichael Orlitzky2023-11-221-1/+2
* sci-mathematics/dunshire: update HOMEPAGE (http -> https)Michael Orlitzky2023-11-141-1/+1
* sci-mathematics/polymake: re-enable the test suiteMichael Orlitzky2023-11-132-6/+27
* sci-mathematics/polymake: new old package, add 4.11Michael Orlitzky2023-11-134-0/+232
* sci-mathematics/ginac: revbump for fig2dev changeSam James2023-11-131-0/+0
* sci-mathematics/ginac: use transfig from fig2devPacho Ramos2023-11-121-1/+1
* sci-mathematics/octave: Use transfig from fig2devPacho Ramos2023-11-121-0/+241
* sci-mathematics/mathematica: add option to install from non-bundle fileAndreas K. Hüttel2023-11-103-2/+7
* sci-mathematics/opensmt: fix build with gcc 14Kostadin Shishmanov2023-11-072-1/+71
* sci-mathematics/z3: add 4.12.2Andrew Ammerlaan2023-11-063-0/+125
* sci-mathematics/boolector: bump to 3.2.3Maciej Barć2023-11-023-0/+95
* sci-mathematics/btor2tools: patch includesMaciej Barć2023-11-022-6/+21
* sci-mathematics/proverif: require ocamloptMaciej Barć2023-11-022-6/+12
* sci-mathematics/pari: drop 2.15.3Michael Orlitzky2023-10-313-143/+0
* sci-mathematics/giac: add 1.9.0.67, drop 1.9.0.55-r1Michael Orlitzky2023-10-314-18/+48
* sci-mathematics/pari: Stabilize 2.15.4-r1 ppc64, #916560Sam James2023-10-311-1/+1
* sci-mathematics/pari: Stabilize 2.15.4-r1 amd64, #916560Sam James2023-10-311-1/+1
* sci-mathematics/lean: bump to 4.2.0_rc4Maciej Barć2023-10-262-0/+79
* sci-mathematics/lean: drop old 3.9999Maciej Barć2023-10-261-80/+0
* sci-mathematics/coq-mathcomp: bump to 1.17.0Maciej Barć2023-10-242-0/+26
* sci-mathematics/coq-serapi: bump to 0.18.1Maciej Barć2023-10-232-0/+73
* sci-mathematics/cryptominisat: bump to 5.11.15Maciej Barć2023-10-222-0/+40
* sci-mathematics/cryptominisat: drop old 5.11.12Maciej Barć2023-10-222-38/+0
* sci-mathematics/cryptominisat: drop old 5.11.11Maciej Barć2023-10-222-38/+0
* sci-mathematics/fricas: remove old revisionsAndrey Grozin2023-10-192-224/+0
* sci-mathematics/fricas: fix building with clozureclAndrey Grozin2023-10-192-12/+95