summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2021-12-13gnu: Further simplify package inputs....Ludovic Courtès
2021-12-13gnu: Simplify package inputs....Ludovic Courtès
2021-12-12gnu: sundials: Add 'release-monitoring-url' property....Ludovic Courtès
2021-12-12gnu: sundials: Build with '-fcommon'....Ludovic Courtès
2021-12-09gnu: Add gsl-static....Efraim Flashner
2021-12-08gnu: python-slepc4py: Update to 3.16.1....Ludovic Courtès
2021-12-08gnu: python-petsc4py: Update to 3.16.1....Ludovic Courtès
2021-12-08gnu: mumps: Allow compilation with GCC 10....Ludovic Courtès
2021-12-05Merge remote-tracking branch 'origin/master' into core-updates-frozenRicardo Wurmus
2021-12-05gnu: clapack: Pass -fcommon to compiler....Ricardo Wurmus
2021-12-05gnu: clapack: Remove trailing #T....Ricardo Wurmus
2021-12-05gnu: Adjust for python-build-system behavior change....Marius Bakke
2021-12-01gnu: petsc-{complex,openmpi,complex-openmpi}: Use gexps....Ludovic Courtès
2021-12-01gnu: scalapack: Update to 2.1.0....Ludovic Courtès
2021-11-29gnu: slepc: Update to 3.16.1....Ludovic Courtès
2021-11-29gnu: petsc: Update to 3.16.1....Ludovic Courtès
2021-11-26gnu: ceres-solver: Install library to lib/ instead of lib64/....Ludovic Courtès
2021-11-25gnu: aris: Build with '-O2'....Ludovic Courtès
2021-11-22gnu: opencascade-occt: Use TBB 2020....Ricardo Wurmus
2021-11-17Merge branch 'master' into core-updates-frozenLudovic Courtès
2021-11-16gnu: Add julia-sundials-jull...Jean-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-frozen...Marius 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
generated by cgit v1.2.3 (git 2.46.0) at 2024-08-11 15:42:44 +0000