index
:
guix
linode-image-docs
master
rocq-codeberg-pr-v1
rocq-codeberg-pr-v2
rocq-codeberg-pr-v3
rocq-wip
GNU transactional package management, distribution, deployment, and more!
Daniel Rostovtsev
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
maths.scm
Age
Commit message (
Expand
)
Author
2021-12-19
gnu: cglm: Use meson-build-system.
Liliana Marie Prikler
2021-12-19
gnu: cglm: Update to 0.8.4.
Liliana Marie Prikler
2021-12-13
gnu: Further simplify package inputs.
Ludovic Courtès
2021-12-13
gnu: Simplify package inputs.
Ludovic Courtès
2021-12-12
gnu: sundials: Add 'release-monitoring-url' property.
Ludovic Courtès
2021-12-12
gnu: sundials: Build with '-fcommon'.
Ludovic Courtès
2021-12-09
gnu: Add gsl-static.
Efraim Flashner
2021-12-08
gnu: python-slepc4py: Update to 3.16.1.
Ludovic Courtès
2021-12-08
gnu: python-petsc4py: Update to 3.16.1.
Ludovic Courtès
2021-12-08
gnu: mumps: Allow compilation with GCC 10.
Ludovic Courtès
2021-12-05
Merge remote-tracking branch 'origin/master' into core-updates-frozen
Ricardo Wurmus
2021-12-05
gnu: clapack: Pass -fcommon to compiler.
Ricardo Wurmus
2021-12-05
gnu: clapack: Remove trailing #T.
Ricardo Wurmus
2021-12-05
gnu: Adjust for python-build-system behavior change.
Marius Bakke
2021-12-01
gnu: petsc-{complex,openmpi,complex-openmpi}: Use gexps.
Ludovic Courtès
2021-12-01
gnu: scalapack: Update to 2.1.0.
Ludovic Courtès
2021-11-29
gnu: slepc: Update to 3.16.1.
Ludovic Courtès
2021-11-29
gnu: petsc: Update to 3.16.1.
Ludovic Courtès
2021-11-26
gnu: ceres-solver: Install library to lib/ instead of lib64/.
Ludovic Courtès
2021-11-25
gnu: aris: Build with '-O2'.
Ludovic Courtès
2021-11-22
gnu: opencascade-occt: Use TBB 2020.
Ricardo Wurmus
2021-11-17
Merge branch 'master' into core-updates-frozen
Ludovic Courtès
2021-11-16
gnu: Add julia-sundials-jull
Jean-Baptiste Volatier
2021-11-11
gnu: openblas: Do not build static library.
Maxim Cournoyer
2021-11-11
gnu: openblas: Add support for older x86 processors.
Maxim Cournoyer
2021-11-11
gnu: openblas: Update to 0.3.18.
Maxim Cournoyer
2021-10-31
Merge remote-tracking branch 'origin/master' into core-updates-frozen
Efraim Flashner
2021-10-28
gnu: Add ocaml-z3.
Julien Lepiller
2021-10-24
gnu: Add clingo.
Liliana Marie Prikler
2021-10-24
gnu: Add clasp.
Liliana Marie Prikler
2021-10-24
gnu: Add libpotassco.
Liliana Marie Prikler
2021-10-23
gnu: hdf-java: Look for jars in the right place.
Ludovic Courtès
2021-10-23
gnu: Use 'search-input-file' some more.
Ludovic Courtès
2021-10-18
gnu: hdf5@1.12: Update to 1.12.1.
Tobias Geerinckx-Rice
2021-10-12
Merge remote-tracking branch 'origin/master' into core-updates-frozen.
Mathieu Othacehe
2021-10-08
gnu: frama-c: Update to 23.1.
Julien Lepiller
2021-10-08
gnu: why3: Update to 1.4.0.
Julien Lepiller
2021-10-07
gnu: mcrl2: Update hash of modified-in-place tarball.
Ludovic Courtès
2021-09-25
gnu: Add minizinc.
Liliana Marie Prikler
2021-09-25
gnu: Add gecode.
Liliana Marie Prikler
2021-09-24
gnu: fp16: Install Python files in the site directory.
Ludovic Courtès
2021-09-17
Merge branch 'master' into core-updates-frozen
Marius Bakke
2021-09-16
gnu: aris: Fix build.
Guillaume Le Vaillant
2021-09-14
gnu: gsl: Comment out more tests that fail on i686-linux.
Ludovic Courtès
2021-09-11
gnu: nauty: Update to 2.7r3.
Nicolas Goaziou
2021-09-11
gnu: netcdf-parallel-openmpi: Allow compilation with GCC 10.
Ludovic Courtès
2021-09-07
Merge branch 'master' into core-updates-frozen
Ludovic Courtès
2021-09-06
gnu: Use the non-deprecated TeX packages.
Ludovic Courtès
2021-09-04
gnu: vc: Update to 1.4.2.
Tobias Geerinckx-Rice
2021-09-04
gnu: nauty: Update to 2.7r2.
Nicolas Goaziou
[next]