aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Expand)AuthorAge
* gnu: Add feedgnuplot.Marius Bakke2021-12-26
* gnu: frama-c: Update to 24.0.Julien Lepiller2021-12-22
* gnu: cglm: Use meson-build-system.Liliana Marie Prikler2021-12-19
* gnu: cglm: Update to 0.8.4.Liliana Marie Prikler2021-12-19
* gnu: Further simplify package inputs.Ludovic Courtès2021-12-13
* gnu: Simplify package inputs.Ludovic Courtès2021-12-13
* gnu: sundials: Add 'release-monitoring-url' property.Ludovic Courtès2021-12-12
* gnu: sundials: Build with '-fcommon'.Ludovic Courtès2021-12-12
* gnu: Add gsl-static.Efraim Flashner2021-12-09
* gnu: python-slepc4py: Update to 3.16.1.Ludovic Courtès2021-12-08
* gnu: python-petsc4py: Update to 3.16.1.Ludovic Courtès2021-12-08
* gnu: mumps: Allow compilation with GCC 10.Ludovic Courtès2021-12-08
* Merge remote-tracking branch 'origin/master' into core-updates-frozenRicardo Wurmus2021-12-05
|\
| * gnu: ceres-solver: Install library to lib/ instead of lib64/.Ludovic Courtès2021-11-26
* | gnu: clapack: Pass -fcommon to compiler.Ricardo Wurmus2021-12-05
* | gnu: clapack: Remove trailing #T.Ricardo Wurmus2021-12-05
* | gnu: Adjust for python-build-system behavior change.Marius Bakke2021-12-05
* | gnu: petsc-{complex,openmpi,complex-openmpi}: Use gexps.Ludovic Courtès2021-12-01
* | gnu: scalapack: Update to 2.1.0.Ludovic Courtès2021-12-01
* | gnu: slepc: Update to 3.16.1.Ludovic Courtès2021-11-29
* | gnu: petsc: Update to 3.16.1.Ludovic Courtès2021-11-29
* | gnu: aris: Build with '-O2'.Ludovic Courtès2021-11-25
* | gnu: opencascade-occt: Use TBB 2020.Ricardo Wurmus2021-11-22
* | Merge branch 'master' into core-updates-frozenLudovic Courtès2021-11-17
|\|
| * gnu: Add julia-sundials-jullJean-Baptiste Volatier2021-11-16
* | gnu: openblas: Do not build static library.Maxim Cournoyer2021-11-11
* | gnu: openblas: Add support for older x86 processors.Maxim Cournoyer2021-11-11
* | gnu: openblas: Update to 0.3.18.Maxim Cournoyer2021-11-11
* | Merge remote-tracking branch 'origin/master' into core-updates-frozenEfraim Flashner2021-10-31
|\|
| * gnu: Add ocaml-z3.Julien Lepiller2021-10-28
| * gnu: Add clingo.Liliana Marie Prikler2021-10-24
| * gnu: Add clasp.Liliana Marie Prikler2021-10-24
| * gnu: Add libpotassco.Liliana Marie Prikler2021-10-24
| * gnu: hdf5@1.12: Update to 1.12.1.Tobias Geerinckx-Rice2021-10-18
* | gnu: hdf-java: Look for jars in the right place.Ludovic Courtès2021-10-23
* | gnu: Use 'search-input-file' some more.Ludovic Courtès2021-10-23
* | Merge remote-tracking branch 'origin/master' into core-updates-frozen.Mathieu Othacehe2021-10-12
|\|
| * gnu: frama-c: Update to 23.1.Julien Lepiller2021-10-08
| * gnu: why3: Update to 1.4.0.Julien Lepiller2021-10-08
| * gnu: mcrl2: Update hash of modified-in-place tarball.Ludovic Courtès2021-10-07
| * gnu: Add minizinc.Liliana Marie Prikler2021-09-25
| * gnu: Add gecode.Liliana Marie Prikler2021-09-25
| * gnu: fp16: Install Python files in the site directory.Ludovic Courtès2021-09-24
* | Merge branch 'master' into core-updates-frozenMarius Bakke2021-09-17
|\|
| * gnu: nauty: Update to 2.7r3.Nicolas Goaziou2021-09-11
* | gnu: aris: Fix build.Guillaume Le Vaillant2021-09-16
* | gnu: gsl: Comment out more tests that fail on i686-linux.Ludovic Courtès2021-09-14
* | gnu: netcdf-parallel-openmpi: Allow compilation with GCC 10.Ludovic Courtès2021-09-11
* | Merge branch 'master' into core-updates-frozenLudovic Courtès2021-09-07
|\|
| * gnu: vc: Update to 1.4.2.Tobias Geerinckx-Rice2021-09-04