summary refs log tree commit diff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2021-11-17Merge branch 'master' into core-updates-frozenLudovic Courtès
2021-11-16gnu: Add julia-sundials-jullJean-Baptiste Volatier
2021-11-11gnu: openblas: Do not build static library.Maxim Cournoyer
2021-11-11gnu: openblas: Add support for older x86 processors.Maxim Cournoyer
2021-11-11gnu: openblas: Update to 0.3.18.Maxim Cournoyer
2021-10-31Merge remote-tracking branch 'origin/master' into core-updates-frozenEfraim Flashner
2021-10-28gnu: Add ocaml-z3.Julien Lepiller
2021-10-24gnu: Add clingo.Liliana Marie Prikler
2021-10-24gnu: Add clasp.Liliana Marie Prikler
2021-10-24gnu: Add libpotassco.Liliana Marie Prikler
2021-10-23gnu: hdf-java: Look for jars in the right place.Ludovic Courtès
2021-10-23gnu: Use 'search-input-file' some more.Ludovic Courtès
2021-10-18gnu: hdf5@1.12: Update to 1.12.1.Tobias Geerinckx-Rice
2021-10-12Merge remote-tracking branch 'origin/master' into core-updates-frozen.Mathieu Othacehe
2021-10-08gnu: frama-c: Update to 23.1.Julien Lepiller
2021-10-08gnu: why3: Update to 1.4.0.Julien Lepiller
2021-10-07gnu: mcrl2: Update hash of modified-in-place tarball.Ludovic Courtès
2021-09-25gnu: Add minizinc.Liliana Marie Prikler
2021-09-25gnu: Add gecode.Liliana Marie Prikler
2021-09-24gnu: fp16: Install Python files in the site directory.Ludovic Courtès
2021-09-17Merge branch 'master' into core-updates-frozenMarius Bakke
2021-09-16gnu: aris: Fix build.Guillaume Le Vaillant
2021-09-14gnu: gsl: Comment out more tests that fail on i686-linux.Ludovic Courtès
2021-09-11gnu: nauty: Update to 2.7r3.Nicolas Goaziou
2021-09-11gnu: netcdf-parallel-openmpi: Allow compilation with GCC 10.Ludovic Courtès
2021-09-07Merge branch 'master' into core-updates-frozenLudovic Courtès
2021-09-06gnu: Use the non-deprecated TeX packages.Ludovic Courtès
2021-09-04gnu: vc: Update to 1.4.2.Tobias Geerinckx-Rice
2021-09-04gnu: nauty: Update to 2.7r2.Nicolas Goaziou
2021-08-23gnu: maxima: Fix build.Guillaume Le Vaillant
2021-08-20gnu: netcdf-fortran: Fix compiling with gfortran 10.Guillaume Le Vaillant
2021-08-20gnu: netcdf: Fix build.Guillaume Le Vaillant
2021-08-20gnu: hdf4: Fix compiling with gfortran 10.Guillaume Le Vaillant
2021-08-12Merge branch 'master' into core-updates-frozenMarius Bakke
2021-08-01Merge branch 'master' into core-updates-frozenMarius Bakke
2021-07-29Merge branch 'master' into core-updates-frozenMarius Bakke
2021-07-28gnu: openlibm: Fix cross-compiling.Jean-Baptiste Volatier
2021-07-28gnu: openlibm: Update to 0.7.4.Jean-Baptiste Volatier
2021-07-29gnu: Add FP16.Ludovic Courtès
2021-07-29gnu: Add FXDiv.Ludovic Courtès
2021-08-10gnu: dealii-openmpi: Add Trilinos dependency.Paul A. Patience
2021-08-05gnu: Add optizelle.Paul Garlick
2021-08-04gnu: Add bitwise.Guix Together
2021-07-26gnu: gsegrafix: Update to 1.0.7.2.Tobias Geerinckx-Rice
2021-07-25gnu: openblas: Use dynamic arch support for aarch64-linux.Efraim Flashner
2021-07-24gnu: Use 'search-input-file' when looking for .jar files.Ludovic Courtès
2021-07-24gnu: Use 'search-input-file' when looking for executables.Ludovic Courtès
2021-07-24gnu: Use 'search-input-file' when searching for Automake files.Ludovic Courtès
2021-07-23gnu: gsl: Update to 2.7.Marius Bakke
2021-07-20gnu: dealii: Update to 9.3.1 and clean up.Paul A. Patience
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-17 21:36:36 +0000