aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Expand)AuthorAge
* 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
| * gnu: nauty: Update to 2.7r2.Nicolas Goaziou2021-09-04
* | gnu: Use the non-deprecated TeX packages.Ludovic Courtès2021-09-06
* | gnu: maxima: Fix build.Guillaume Le Vaillant2021-08-23
* | gnu: netcdf-fortran: Fix compiling with gfortran 10.Guillaume Le Vaillant2021-08-20
* | gnu: netcdf: Fix build.Guillaume Le Vaillant2021-08-20
* | gnu: hdf4: Fix compiling with gfortran 10.Guillaume Le Vaillant2021-08-20
* | Merge branch 'master' into core-updates-frozenMarius Bakke2021-08-12
|\|
| * gnu: dealii-openmpi: Add Trilinos dependency.Paul A. Patience2021-08-10
| * gnu: Add optizelle.Paul Garlick2021-08-05
| * gnu: Add bitwise.Guix Together2021-08-04
* | Merge branch 'master' into core-updates-frozenMarius Bakke2021-08-01
|\|
| * gnu: Add FP16.Ludovic Courtès2021-07-29
| * gnu: Add FXDiv.Ludovic Courtès2021-07-29
* | Merge branch 'master' into core-updates-frozenMarius Bakke2021-07-29
|\|
| * gnu: openlibm: Fix cross-compiling.Jean-Baptiste Volatier2021-07-28
| * gnu: openlibm: Update to 0.7.4.Jean-Baptiste Volatier2021-07-28
| * gnu: gsegrafix: Update to 1.0.7.2.Tobias Geerinckx-Rice2021-07-26
| * gnu: dealii: Update to 9.3.1 and clean up.Paul A. Patience2021-07-20
| * gnu: Add nomad-optimizer.Paul A. Patience2021-07-19
* | gnu: openblas: Use dynamic arch support for aarch64-linux.Efraim Flashner2021-07-25
* | gnu: Use 'search-input-file' when looking for .jar files.Ludovic Courtès2021-07-24
* | gnu: Use 'search-input-file' when looking for executables.Ludovic Courtès2021-07-24
* | gnu: Use 'search-input-file' when searching for Automake files.Ludovic Courtès2021-07-24