summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/cadabra: Stabilize 2.4.4.1 amd64, #915950Sam James2023-10-181-1/+1
* sci-mathematics/fricas: now compiles with sbcl-2.3.9Andrey Grozin2023-10-152-0/+174
* sci-mathematics/wxmaxima: bump to 23.10.0Andrey Grozin2023-10-122-0/+81
* sci-mathematics/fricas: remove old versionsAndrey Grozin2023-10-124-242/+0
* sci-mathematics/fricas: cannot be compiled with sbcl-2.3.9Andrey Grozin2023-10-121-0/+111