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
2019-12-01
gnu: z3: Update to 4.8.7.
Tobias Geerinckx-Rice
2019-12-01
gnu: nauty: Update to 2.6r12.
Tobias Geerinckx-Rice
2019-11-27
gnu: Remove obsolete import of R build system module.
Ricardo Wurmus
2019-11-27
gnu: r-subplex: Move to (gnu packages cran).
zimoun
2019-11-27
gnu: r-pracma: Move to (gnu packages cran).
zimoun
2019-11-27
gnu: r-desolve: Move to (gnu packages cran).
zimoun
2019-11-27
gnu: r-quadprog: Move to (gnu packages cran).
zimoun
2019-11-23
gnu: wxmaxima: Update to 19.11.1.
Kei Kebreau
2019-11-23
gnu: r-quadprog: Update to 1.5-8.
Tobias Geerinckx-Rice
2019-11-23
gnu: r-desolve: Update to 1.25.
Tobias Geerinckx-Rice
2019-11-19
gnu: Add minisat.
Robert Smith
2019-10-20
gnu: vc: Update to 1.4.1.
Marius Bakke
2019-10-14
gnu: mumps: Build and install shared libraries.
Maurice Brémond
2019-10-14
gnu: mumps: Update to 5.2.1.
Maurice Brémond
2019-10-08
gnu: mcrl2: Update source url.
Jan Nieuwenhuizen
2019-10-08
Merge branch 'core-updates'
Ludovic Courtès
2019-10-08
gnu: maxflow: Use HTTPS home page.
Tobias Geerinckx-Rice
2019-10-08
gnu: maxflow: Correct version to 3.0.5.
Tobias Geerinckx-Rice
2019-10-08
gnu: maxflow: Use GIT-FILE-NAME.
Tobias Geerinckx-Rice
2019-10-01
Merge branch 'master' into core-updates
Ludovic Courtès
2019-09-30
gnu: Add mcrl2-minimal.
Jan Nieuwenhuizen
2019-09-30
gnu: mcrl2: Update to 201908.0.
Jan Nieuwenhuizen
2019-09-28
gnu: z3: Update to 4.8.6.
Tobias Geerinckx-Rice
2019-09-27
gnu: dealii: Update to 9.1.1.
Eric Bavier
2019-09-27
Merge branch 'master' into core-updates
Marius Bakke
2019-09-24
Merge branch 'master' into core-updates
Ludovic Courtès
2019-09-24
gnu: glm: Update to 0.9.9.6.
Tobias Geerinckx-Rice
2019-09-21
gnu: wxmaxima: Update to 19.09.0.
Tobias Geerinckx-Rice
2019-09-20
gnu: octave: Use texlive-union.
Ricardo Wurmus
2019-09-17
Merge branch 'master' into core-updates
Ludovic Courtès
2019-09-13
gnu: gmsh: Update home page.
Paul Garlick
2019-09-13
gnu: openblas: Set 'NUM_THREADS'.
Ludovic Courtès
2019-09-12
gnu: gmsh: Fetch source from Git.
Paul Garlick
2019-09-12
gnu: hypre: Update texlive-union.
Ricardo Wurmus
2019-09-06
Merge branch 'master' into core-updates
Mark H Weaver
2019-09-04
gnu: hdf4: Update to 4.2.14.
Marius Bakke
2019-09-03
gnu: hdf-eos2: Add libtirpc input.
Marius Bakke
2019-09-03
gnu: hdf4: Build with libtirpc.
Marius Bakke
2019-08-31
gnu: Add speedcrunch.
Steve Sprang
2019-08-29
Merge branch 'master' into core-updates
Mark H Weaver
2019-08-26
gnu: python-cvxopt: Update to 1.2.3.
Tobias Geerinckx-Rice
2019-08-22
Merge branch 'master' into core-updates
Mark H Weaver
2019-08-20
gnu: wxmaxima: Update to 19.08.0.
Kei Kebreau
2019-08-13
Merge branch 'master' into core-updates
Marius Bakke
2019-08-08
Merge branch 'master' into staging
Marius Bakke
2019-08-06
gnu: r-desolve: Update to 1.24.
Ricardo Wurmus
2019-08-04
gnu: double-conversion: Update to 3.1.5.
Marius Bakke
2019-07-17
Merge branch 'master' into core-updates
Ludovic Courtès
2019-07-16
gnu: Add opencascade-occt.
Paul Garlick
2019-07-14
gnu: Adjust uses of C{,PLUS}_INCLUDE_PATH for GCC 7.
Marius Bakke
[next]