summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2023-06-08gnu: Add python-blis-for-thinc.Ricardo Wurmus
2023-06-08gnu: Add python-blis.Ricardo Wurmus
2023-06-08gnu: blis: Update to 0.9.0.Ricardo Wurmus
2023-06-07gnu: hdf4: Add support for riscv64-linux.Efraim Flashner
2023-06-01gnu: openblas: Update make-flags comments and coding style.Efraim Flashner
2023-06-01gnu: openblas: Update architectures we provide substitutes for.Efraim Flashner
2023-06-01gnu: openblas-ilp64: Add powerpc64le-linux as a supported system.Efraim Flashner
2023-05-04gnu: armadillo: Remove input labels.Ludovic Courtès
2023-05-04gnu: dune-common: Skip tests that fail on aarch64-linux.Felix Gruber
2023-05-02gnu: dune-pdelab: Update to 2.8.0-0.d5dddb6.Felix Gruber
2023-05-02gnu: dune-functions: Update to 2.9.0.Felix Gruber
2023-05-02gnu: dune-typetree: Update to 2.9.0.Felix Gruber
2023-05-02gnu: dune-subgrid: Update to 2.9.0-1-e83f3f9.Felix Gruber
2023-05-02gnu: dune-alugrid: Update to 2.9.0.Felix Gruber
2023-05-02gnu: dune-localfunctions: Update to 2.9.0.Felix Gruber
2023-05-02gnu: dune-istl: Update to 2.9.0.Felix Gruber
2023-05-02gnu: dune-grid: Update to 2.9.0.Felix Gruber
2023-05-02gnu: dune-uggrid: Update to 2.9.0.Felix Gruber
2023-05-02gnu: dune-geometry: Update to 2.9.0.Felix Gruber
2023-05-02gnu: dune-common: Update to 2.9.0.Felix Gruber
2023-05-02gnu: hypre: Add missing TeX Live packages.Ludovic Courtès
2023-04-27gnu: sleef: Adjust inputs.Ricardo Wurmus
2023-04-14Merge branch 'master' into core-updates.Maxim Cournoyer
2023-04-12gnu: Purge pre-1.3.0 deprecated packages.Bruno Victal
2023-04-12gnu: Separate potassco packages into their own module.Liliana Marie Prikler
2023-03-31Merge branch 'master' into stagingMaxim Cournoyer
2023-03-30gnu: hdf5-1.8: Delete trailing #t.Maxim Cournoyer
2023-03-30gnu: Add hdf5@1.14.Greg Hogan
2023-03-30gnu: hdf5@1.12: Update to 1.12.2.Greg Hogan
2023-03-30gnu: hdf5@1.10: Update to 1.10.9.Greg Hogan
2023-03-30gnu: hdf5@1.8: Update to 1.8.23.Greg Hogan
2023-03-30gnu: Add scilab.Nicolas Graves
2023-03-30gnu: Add suitesparse-3.Nicolas Graves
2023-03-30gnu: matio: Add header file.Nicolas Graves
2023-03-27gnu: gnuplot: Update to 5.4.6.Philippe SWARTVAGHER
2023-03-23gnu: octave: Remove input labels.Maxim Cournoyer
2023-03-23gnu: octave: Update to 8.1.0.Greg Hogan
2023-03-21gnu: Add dozenal.Jake Leporte
2023-03-20Merge remote-tracking branch 'origin/master' into core-updatesAndreas Enge
2023-03-12gnu: Add scasp.Liliana Marie Prikler
2023-03-02Merge remote-tracking branch 'savannah/master' into core-updatesChristopher Baines
2023-03-05gnu: Add java-smtinterpol.Liliana Marie Prikler
2023-03-05gnu: Add boolector.Liliana Marie Prikler
2023-03-05gnu: Add btor2tools.Liliana Marie Prikler
2023-03-05gnu: Add yices.Liliana Marie Prikler
2023-03-05gnu: Add libpoly.Liliana Marie Prikler
2023-03-05gnu: Add cudd.Liliana Marie Prikler
2023-02-19gnu: Use HTTPS package home pages wherever possible.Tobias Geerinckx-Rice
2023-02-21gnu: python-clingo: Fix invalid G-expression input.Simon Tournier
2023-02-19gnu: Add python-clorm.Liliana Marie Prikler