index
:
guix
koszko
koszko-scripts
Wojtek's customized Guix
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
maths.scm
Age
Commit message (
Expand
)
Author
2022-01-12
gnu: Remove python2-cvxopt.
Felix Gruber
2022-01-12
gnu: python-cvxopt: Update to 1.2.7.
Felix Gruber
2022-01-11
gnu: ceres: Update to 2.0.0.
Felix Gruber
2022-01-11
gnu: dealii: Update to 9.3.2.
Felix Gruber
2022-01-01
gnu: gsl: Add 'tunable?' property.
Ludovic Courtès
2022-01-01
gnu: Add ceres-solver-benchmarks.
Ludovic Courtès
2022-01-01
gnu: ceres-solver: Mark as tunable.
Ludovic Courtès
2021-12-30
gnu: Capitalize beginning of synopsis.
Vagrant Cascadian
2021-12-30
gnu: Remove leading article from synopsis.
Vagrant Cascadian
2021-12-26
gnu: Add feedgnuplot.
Marius Bakke
2021-12-22
gnu: frama-c: Update to 24.0.
Julien Lepiller
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
[next]