summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2026-05-18gnu: python-libensemble: Update to 1.6.0.Sharlatan Hellseher
2026-05-18gnu: coda: Update to 2.25.6.Nicolas Graves
2026-05-18guix: build-system: Set pypi-uri in pyproject, drop python module.Nicolas Graves
2026-05-18build-system/pyproject: Remove python-pytest-cov native-input.Nicolas Graves
2026-05-18gnu: Remove jacal.Andreas Enge
2026-05-12gnu: Add nanoflann.Thomas Kramer
2026-05-11gnu: Add python-constraint2.Akiyoshi Suda
2026-05-09gnu: cvc5: Update to 1.3.4.Sören Tempel
2026-05-07gnu: hypre: Fix build-docsPhilippe Virouleau
2026-05-07gnu: opencascade-occt: Build with VTK.Reza Housseini
2026-05-01gnu: mcrl2: Update to 202507.0.Janneke Nieuwenhuizen
2026-04-30gnu: Add voro++.Sharlatan Hellseher
2026-04-28gnu: kissat: Check generate proofs via drat-trim in 'check.Sören Tempel
2026-04-28gnu: Add drat-trim.Sören Tempel
2026-04-28gnu: bitwuzla: Update to 0.9.0.Sören Tempel
2026-04-28gnu: cvc5: Restore compatibility with packaged symfpu.Sören Tempel
2026-04-28gnu: symfpu: Update to 0.0-2.aeaa3faSören Tempel
2026-04-28gnu: netcdf: Fix build on 32-bit platforms.Ricardo Wurmus
2026-04-25gnu: highs: Update to 1.14.0.Vinicius Monego
2026-04-20gnu: kissat: Update to 4.0.4.Sören Tempel
2026-04-13gnu: sundials: Build with python3.Efraim Flashner
2026-04-12gnu: cvc5: Only build test programs when tests are enabled.Sören Tempel
2026-04-10gnu: cvc5: make build reproducibleSören Tempel
2026-04-10gnu: cadical: Make build reproducible.Sören Tempel
2026-04-07gnu: minizinc: Add Google's OR-Tools as solver.Herman Rimm
2026-04-06gnu: Add cvc5.Sören Tempel
2026-04-06gnu: nauty: Update to 2.9.3.Nicolas Goaziou
2026-04-04gnu: louvain-community: Refer to library by path in CMake module.Sören Tempel
2026-04-04gnu: cadical: Update to 2.2.1.Sören Tempel
2026-04-04gnu: Add cadical-2.1.Sören Tempel
2026-04-04gnu: cadical: Update to 2.1.3.Sören Tempel
2026-03-29gnu: libpoly: Update to 0.2.1.Sören Tempel
2026-03-28gnu: hdf5: Move documentation to separate output.Cayetano Santos
2026-03-25gnu: nlopt: Remove dependence on Qt.Andreas Enge
2026-03-25gnu: nlopt: Fix python bindings.Reza Housseini
2026-03-22gnu: speedcrunch: Support Wayland.Danny Milosavljevic
2026-03-20gnu: Reference the inherited inputs values.Ludovic Courtès
2026-03-20gnu: Reference the inherited ‘arguments’ value.Ludovic Courtès
2026-03-17gnu: Remove python-orthopy.Andreas Enge
2026-03-17gnu: Remove python-accupy.Andreas Enge
2026-03-17gnu: Remove python-quadpy.Andreas Enge
2026-03-16gnu: openblas: Correctly pass make flags, switch tests on.Luca Cirrottola
2026-03-16gnu: openblas: Use cmake build system.Luca Cirrottola
2026-03-16maths: openblas: Update to 0.3.31.Romain GARBAGE
2026-03-16maths: openblas: Enable OpenMP support.Romain GARBAGE
2026-03-13gnu: units: Update to 2.26.Andy Tai
2026-03-13gnu: python-simplesat: Move to maths.Sharlatan Hellseher
2026-03-08gnu: octave: Support Wayland.Danny Milosavljevic
2026-03-06gnu: python-dbus: Rename to python-dbus-1.2.Andreas Enge
2026-03-05gnu: Pin old pybind11 version.Gabriel Wicki
generated by cgit v1.3 (git 2.53.0) at 2026-07-01 04:51:57 +0000