summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
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
2026-02-28gnu: Add or-tools.Thomas Kramer
2026-02-28gnu: scip: Add support for lapack.Cayetano Santos
2026-02-27gnu: Deprecate swig and swig-next in vafor of swig-4.0 and swig-4.4.Sharlatan Hellseher
2026-02-27gnu: Add scip.Thomas Kramer
2026-02-27gnu: Add soplex.Thomas Kramer
2026-02-24gnu: gmsh: Update to 4.15.0.Simon Tournier
generated by cgit v1.3 (git 2.53.0) at 2026-06-30 19:25:38 +0000