summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/pari: fix build with gcc-15Michael Orlitzky11 hours2-0/+55
* sci-mathematics/pari: add 2.17.1Michael Orlitzky35 hours2-0/+138
* sci-mathematics/lcalc: add 2.1.0Michael Orlitzky3 days2-0/+37
* sci-mathematics/primesieve: keyword 12.3 for ~loongWANG Xuerui7 days1-1/+1
* sci-mathematics/giac: fix hard-coded g++Michael Orlitzky8 days2-1/+31
* sci-mathematics/z3: Remove oldMichał Górny9 days2-108/+0
* sci-mathematics/z3: Stabilize 4.13.4 arm, #947419Sam James9 days1-1/+1
* sci-mathematics/primesieve: Keyword 12.3 arm, #947261Sam James9 days1-1/+1
* sci-mathematics/z3: Stabilize 4.13.4 arm64, #947419Arthur Zamarin9 days1-1/+1
* sci-mathematics/primesieve: Keyword 12.3 arm64, #947261Sam James9 days1-1/+1
* sci-mathematics/z3: Stabilize 4.13.4 amd64, #947419Sam James9 days1-1/+1
* sci-mathematics/z3: Stabilize 4.13.4 x86, #947419Arthur Zamarin9 days1-1/+1
* sci-mathematics/z3: Stabilize 4.13.4 sparc, #947419Sam James9 days1-1/+1
* sci-mathematics/z3: Stabilize 4.13.4 ppc64, #947419Sam James9 days1-2/+2
* sci-mathematics/manifold: Stabilize 3.0.0_pre20241115 amd64, #946112Sam James10 days1-2/+2
* sci-mathematics/clipper2: Stabilize 1.4.0 amd64, #946112Sam James10 days1-2/+2
* sci-mathematics/manifold: add 3.0.1Paul Zander10 days3-0/+87
* sci-mathematics/lean: add missing libuv depMaciej Barć11 days1-0/+1
* sci-mathematics/lean: update XML metadataMaciej Barć11 days1-3/+8
* sci-mathematics/lean: drop old 4.2.0Maciej Barć11 days2-79/+0
* sci-mathematics/lean: bump to 4.14.0Maciej Barć11 days3-0/+120
* sci-mathematics/primesieve: Keyword 12.3 x86, #947261Joonas Niilola12 days1-2/+2
* sci-mathematics/why3-for-spark: fix whitespace in metadata.xmlSam James13 days1-1/+1
* sci-mathematics/why3-for-spark: add github upstream metadataSam James13 days1-0/+3
* sci-mathematics/why3-for-spark: update HOMEPAGESam James13 days1-1/+1
* sci-mathematics/why3: update HOMEPAGESam James13 days2-3/+3
* sci-mathematics/primesieve: Keyword 12.3 ppc64, #947261Sam James13 days1-1/+1
* sci-mathematics/wxmaxima: bump to 24.11.0Andrey Grozin14 days2-0/+80
* sci-mathematics/octave: update fltk[xft] USE depIonen Wolkens2024-12-261-2/+2
* sci-mathematics/giac: add binding := to fltk, soname changedIonen Wolkens2024-12-262-3/+3
* sci-mathematics/geogebra-bin: drop to maintainer-neededVolkmar W. Pogatzki2024-12-231-3/+1
* sci-mathematics/sympow: drop 2.023.6Michael Orlitzky2024-12-222-44/+0
* sci-mathematics/sympow: stabilize 2.023.7 for amd64Michael Orlitzky2024-12-221-1/+1
* sci-mathematics/flint: pass --disable-assembly to ./configureMichael Orlitzky2024-12-181-0/+2
* sci-mathematics/z3: Bump to 4.13.4Michał Górny2024-12-182-0/+108
* sci-mathematics/gmp-ecm: add 7.0.6Patrick Lauer2024-12-162-0/+66
* sci-mathematics/why3-for-spark: drop myself as a maintainerAlfredo Tupone2024-12-151-2/+2
* sci-mathematics/lean: Stabilize 4.11.0 amd64, #946385Sam James2024-12-141-1/+1
* sci-mathematics/coq: Stabilize 8.20.0 amd64, #946384Sam James2024-12-141-1/+1
* sci-mathematics/flint: fix C23 build, switch back to autotoolsMichael Orlitzky2024-12-133-0/+144
* sci-mathematics/slepc: add 3.22.1Matthias Maier2024-12-112-0/+127
* sci-mathematics/petsc: add 3.22.2Matthias Maier2024-12-112-0/+236
* Move {sys-devel → llvm-core}/clang-runtimeMichał Górny2024-12-111-1/+1
* sci-mathematics/plfit: drop 0.9.3Michael Orlitzky2024-12-092-34/+0
* sci-mathematics/wxmaxima: Stabilize 24.05.0 amd64, #945579Sam James2024-12-061-1/+1
* sci-mathematics/cgal: Stabilize 6.0 amd64, #945551Sam James2024-12-051-1/+1
* sci-mathematics/plfit: Stabilize 0.9.5 amd64, #945558Sam James2024-12-051-1/+1
* sci-mathematics/gfan: Stabilize 0.6.2-r6 amd64, #945552Sam James2024-12-051-1/+1
* sci-mathematics/singular: Stabilize 4.4.0_p6 amd64, #945580Joonas Niilola2024-12-031-1/+1
* sci-mathematics/plfit: Stabilize 0.9.5 x86, #945558Jakov Smolić2024-12-011-1/+1