aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Expand)AuthorAge
* gnu: dune-functions: Update to 2.10.0.Felix Gruber2024-11-22
* gnu: dune-typetree: Update to 2.10.0.Felix Gruber2024-11-22
* gnu: dune-subgrid: Update to 2.10.0.Felix Gruber2024-11-22
* gnu: dune-alugrid: Update to 2.10.0.Felix Gruber2024-11-22
* gnu: dune-localfunctions: Update to 2.10.0.Felix Gruber2024-11-22
* gnu: dune-istl: Update to 2.10.0.Felix Gruber2024-11-22
* gnu: dune-grid: Update to 2.10.0.Felix Gruber2024-11-22
* gnu: dune-uggrid: Update to 2.10.0.Felix Gruber2024-11-22
* gnu: dune-geometry: Update to 2.10.0.Felix Gruber2024-11-22
* gnu: dune-common: Update to 2.10.0.Felix Gruber2024-11-22
* gnu: hdf5: Remove machine info from libraries.Lars Bilke2024-11-18
* gnu: scilab: Update to 2025.0.0.Nicolas Graves2024-11-15
* gnu: boolector: Fix build.Zheng Junjie2024-10-31
* gnu: louvain-community: Fix home-page.Zheng Junjie2024-10-31
* gnu: louvain-community: Don't tune native.Zheng Junjie2024-10-31
* gnu: Add python-primecountpy.Vinicius Monego2024-10-24
* gnu: primecount: Update to 7.14.Sharlatan Hellseher2024-10-24
* gnu: Add primecount.Vinicius Monego2024-10-24
* gnu: packages/maths: Sort alphabetically.Sharlatan Hellseher2024-10-24
* gnu: packages/maths: Sort alphabetically.Sharlatan Hellseher2024-10-24
* gnu: cryptominisat: Update to 5.11.22.Liliana Marie Prikler2024-10-06
* gnu: Add cadiback-for-cryptominisat.Liliana Marie Prikler2024-10-06
* gnu: Add cadiback.Liliana Marie Prikler2024-10-06
* gnu: Add cadical.Liliana Marie Prikler2024-10-06
* gnu: lingeling: Update to 1.0.0.Liliana Marie Prikler2024-10-06
* gnu: z3: Update to 4.13.0.Liliana Marie Prikler2024-10-06
* gnu: kissat: Update to 4.0.1.Liliana Marie Prikler2024-10-06
* gnu: scasp: Update to 1.1.4.Liliana Marie Prikler2024-10-06
* gnu: scilab: Add sanity-check phase.Nicolas Graves2024-10-04
* gnu: scilab: Fix the scilab build script.Nicolas Graves2024-10-04
* gnu: scilab: Cleanup more files.Nicolas Graves2024-10-04
* gnu: scilab: Update to 2024.1.0.Nicolas Graves2024-10-04
* gnu: netcdf: Remove input labels and use gexps.Ludovic Courtès2024-10-04
* gnu: netcdf-parallel-openmpi: Enable pnetcdf support.Romain GARBAGE2024-10-04
* gnu: Add pnetcdf.Romain GARBAGE2024-10-04
* gnu: netcdf-parallel-openmpi: Build shared library.Romain GARBAGE2024-09-30
* gnu: sleef: Update to 3.6.1.Efraim Flashner2024-09-17
* gnu: armadillo: Update to 12.4.2.Tobias Geerinckx-Rice2024-09-08
* gnu: chuffed: Add a source file-name.Efraim Flashner2024-09-16
* gnu: 4ti2: Update to 1.6.10.Tobias Geerinckx-Rice2024-09-08
* Revert "gnu: gsl: Add debug output."Ludovic Courtès2024-09-06
* gnu: gsl: Add debug output.Artyom Bologov2024-09-05
* gnu: dealii: Update to 9.6.0.Ludovic Courtès2024-09-05
* gnu: sundials, sundials-openmpi: Use gexps.Ludovic Courtès2024-09-05
* gnu: sundials: Upgrade to 7.1.1.Ludovic Courtès2024-09-05
* gnu: petsc: Make ‘petscvariables’ reproducible.Ludovic Courtès2024-09-05
* gnu: python-slepc4py: Update to 3.21.1.Ludovic Courtès2024-09-05
* gnu: slepc: Update to 3.21.1.Ludovic Courtès2024-09-05
* gnu: python-petsc4py: Update to 3.21.4.Ludovic Courtès2024-09-05
* gnu: petsc: Update to 3.21.4.Ludovic Courtès2024-09-05