summary refs log tree commit diff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2024-10-06gnu: cryptominisat: Update to 5.11.22.Liliana Marie Prikler
2024-10-06gnu: Add cadiback-for-cryptominisat.Liliana Marie Prikler
2024-10-06gnu: Add cadiback.Liliana Marie Prikler
2024-10-06gnu: Add cadical.Liliana Marie Prikler
2024-10-06gnu: lingeling: Update to 1.0.0.Liliana Marie Prikler
2024-10-06gnu: z3: Update to 4.13.0.Liliana Marie Prikler
2024-10-06gnu: kissat: Update to 4.0.1.Liliana Marie Prikler
2024-10-06gnu: scasp: Update to 1.1.4.Liliana Marie Prikler
2024-10-04gnu: scilab: Add sanity-check phase.Nicolas Graves
2024-10-04gnu: scilab: Fix the scilab build script.Nicolas Graves
2024-10-04gnu: scilab: Cleanup more files.Nicolas Graves
2024-10-04gnu: scilab: Update to 2024.1.0.Nicolas Graves
2024-10-04gnu: netcdf: Remove input labels and use gexps.Ludovic Courtès
2024-10-04gnu: netcdf-parallel-openmpi: Enable pnetcdf support.Romain GARBAGE
2024-10-04gnu: Add pnetcdf.Romain GARBAGE
2024-09-30gnu: netcdf-parallel-openmpi: Build shared library.Romain GARBAGE
2024-09-17gnu: sleef: Update to 3.6.1.Efraim Flashner
2024-09-08gnu: armadillo: Update to 12.4.2.Tobias Geerinckx-Rice
2024-09-16gnu: chuffed: Add a source file-name.Efraim Flashner
2024-09-08gnu: 4ti2: Update to 1.6.10.Tobias Geerinckx-Rice
2024-09-06Revert "gnu: gsl: Add debug output."Ludovic Courtès
2024-09-05gnu: gsl: Add debug output.Artyom Bologov
2024-09-05gnu: dealii: Update to 9.6.0.Ludovic Courtès
2024-09-05gnu: sundials, sundials-openmpi: Use gexps.Ludovic Courtès
2024-09-05gnu: sundials: Upgrade to 7.1.1.Ludovic Courtès
2024-09-05gnu: petsc: Make ‘petscvariables’ reproducible.Ludovic Courtès
2024-09-05gnu: python-slepc4py: Update to 3.21.1.Ludovic Courtès
2024-09-05gnu: slepc: Update to 3.21.1.Ludovic Courtès
2024-09-05gnu: python-petsc4py: Update to 3.21.4.Ludovic Courtès
2024-09-05gnu: petsc: Update to 3.21.4.Ludovic Courtès
2024-09-05gnu: hypre: Use gexps.Ludovic Courtès
2024-09-05gnu: hypre: Add missing TeX Live dependency.Ludovic Courtès
2024-09-03gnu: jacal: Update to 1c8.Artyom V. Poptsov
2024-09-02gnu: python-libensemble: Update to 1.4.2.Vinicius Monego
2024-08-31gnu: gsl: Use gexps.Ludovic Courtès
2024-08-31gnu: gsl: Fix test failures on i686-linux by building with -O2.Ludovic Courtès
2024-08-31gnu: gsl-static: Remove variable.Efraim Flashner
2024-08-31gnu: gsl: Provide static library in separate output.Efraim Flashner
2024-08-31gnu: maths: Add 'bash' input for 'wrap-program'.Maxime Devos
2024-08-31gnu: lingeling: Import the correct set of modules.Maxim Cournoyer
2024-08-31gnu: hypre: Import the correct set of modules.Maxim Cournoyer
2024-08-31gnu: mumps: Import the correct set of modules.Maxim Cournoyer
2024-08-31build-systems: gnu: Export %default-gnu-imported-modules and %default-gnu-mod...Maxim Cournoyer
2024-08-26gnu: nauty: Fix build.Nicolas Goaziou
2024-08-26gnu: nauty: Update to 2.8.9.Nicolas Goaziou
2024-08-19gnu: hdf5-parallel-openmpi: Update to 1.14.x.Luca Cirrottola
2024-08-19gnu: hdf5@1.14: Update to 1.14.3.Luca Cirrottola
2024-08-01gnu: mcrl2: Update to 202307.1.Janneke Nieuwenhuizen
2024-07-26gnu: petsc: Build reproducibly.Lars Bilke
2024-07-21gnu: gnuplot: Update to 6.0.1Karl Hallsby
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-24 00:41:27 +0000