summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/gappalib-coq: new package; add 1.5.2Maciej Barć2022-12-243-0/+53
* sci-mathematics/gappa: new package; add 1.4.1Maciej Barć2022-12-243-0/+62
* sci-mathematics/flocq: new package; add 4.1.0Maciej Barć2022-12-243-0/+50
* sci-mathematics/lean: bump to 3.50.2Maciej Barć2022-12-242-0/+78
* sci-mathematics/lean: drop old 3.49.1Maciej Barć2022-12-242-78/+0
* sci-mathematics/giac: drop 1.7.0.13-r1Michael Orlitzky2022-12-233-200/+0
* sci-mathematics/giac: stabilize 1.9.0.29-r1 for amd64Michael Orlitzky2022-12-231-1/+1
* sci-mathematics/singular: use https mirror in SRC_URI instead of ftpMichael Orlitzky2022-12-231-1/+1
* sci-mathematics/singular: drop 4.2.0_p1Michael Orlitzky2022-12-236-292/+0
* sci-mathematics/polymake: Stabilize 4.6-r1 x86, #832376Arthur Zamarin2022-12-231-1/+1
* sci-mathematics/singular: Stabilize 4.3.1_p1 x86, #832376Arthur Zamarin2022-12-231-1/+1
* sci-mathematics/lean: Stabilize 3.49.0 amd64, #887811Sam James2022-12-211-1/+1
* sci-mathematics/lean: bump to 3.50.1Maciej Barć2022-12-222-0/+78
* sci-mathematics/eclib: add 20221012Michael Orlitzky2022-12-212-0/+41
* sci-mathematics/polymake: drop 4.6Michael Orlitzky2022-12-211-121/+0
* sci-mathematics/polymake: add 4.8, drop 4.7Michael Orlitzky2022-12-212-1/+1
* sci-mathematics/singular: drop 4.2.1_p3-r1Michael Orlitzky2022-12-202-121/+0
* sci-mathematics/singular: add 4.3.1_p2Michael Orlitzky2022-12-202-0/+104
* sci-mathematics/nauty: add 2.8.6Michael Orlitzky2022-12-202-0/+73
* sci-mathematics/primecount: add 7.6Michael Orlitzky2022-12-202-0/+55
* sci-mathematics/primesieve: add 11.0Michael Orlitzky2022-12-202-0/+51
* sci-mathematics/relational: treecleanJakov Smolić2022-12-204-123/+0
* sci-mathematics/octave: drop 7.2.0-r1Michael Orlitzky2022-12-202-209/+0
* sci-mathematics/libpoly: remove -WerrorMaciej Barć2022-12-191-0/+8
* sci-mathematics/cgal: drop 5.2-r2, 5.4.1Andreas Sturmlechner2022-12-194-163/+0
* sci-mathematics/yacas: drop 1.7.0-r1Andreas Sturmlechner2022-12-195-418/+0
* sci-mathematics/flint: drop 2.7.1-r1Andreas Sturmlechner2022-12-193-217/+0
* sci-mathematics/yices2: new package; add 2.6.4Maciej Barć2022-12-183-0/+74
* sci-mathematics/cudd: new package; add 3.0.0Maciej Barć2022-12-183-0/+42
* sci-mathematics/libpoly: new package; add 0.1.11Maciej Barć2022-12-183-0/+80
* sci-mathematics/octave: Stabilize 7.3.0-r1 amd64, #887013Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/octave: Stabilize 7.3.0-r1 x86, #887013Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/cgal: Stabilize 5.5 amd64, #886895Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/octave: Stabilize 7.3.0-r1 arm, #887013Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/octave: Stabilize 7.3.0-r1 arm64, #887013Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/octave: Stabilize 6.4.0-r4 amd64, #886641Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/flint: Stabilize 2.9.0 x86, #864999Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/arb: Stabilize 2.23.0 x86, #864999Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/flint: Stabilize 2.9.0 amd64, #864999Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/arb: Stabilize 2.23.0 amd64, #864999Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/cgal: Stabilize 5.5 x86, #886895Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/octave: Stabilize 6.4.0-r4 x86, #886641Sam James2022-12-181-1/+1
* sci-mathematics/mathlib-tools: drop old 1.2.0Maciej Barć2022-12-172-52/+0
* sci-mathematics/mathlib-tools: bump to 1.3.2Maciej Barć2022-12-172-0/+54
* sci-mathematics/gmm: add 5.4.2Amy Liffey2022-12-162-0/+14
* sci-mathematics/lean: bump to 3.50.0Maciej Barć2022-12-152-0/+78
* sci-mathematics/lean: drop old 3.48.0Maciej Barć2022-12-152-78/+0
* sci-mathematics/lean: drop old 3.47.0Maciej Barć2022-12-152-78/+0
* sci-mathematics/polymake: stabilize 4.6-r1 for amd64Andreas K. Hüttel2022-12-111-1/+1
* sci-mathematics/cadabra: drop old 2.4.0.2Maciej Barć2022-12-062-105/+0