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
2020-03-29
gnu: z3: Fix build determinism.
...
Jakub Kądziołka
2020-03-29
gnu: Remove more packages deprecated for over almost a year.
...
Tobias Geerinckx-Rice
2020-03-28
Update email address and Savannah handle for Amin Bandali.
...
Amin Bandali
2020-03-28
gnu: armadillo: Fix typo in description.
...
Nicolas Goaziou
2020-03-22
gnu: wxmaxima: Update to 20.03.1.
...
Kei Kebreau
2020-03-21
gnu: hdf-eos2: Use HTTPS home page.
...
Tobias Geerinckx-Rice
2020-03-14
gnu: openlibm: Use HTTPS home page.
...
Tobias Geerinckx-Rice
2020-03-14
gnu: define dune-*-openmpi packages
...
Felix Gruber
2020-03-14
gnu: dune-*: remove openmpi dependency
...
Felix Gruber
2020-03-14
gnu: suitesparse: Build with cmake-minimal.
...
Marius Bakke
2020-03-12
gnu: dune-istl: Build with suitesparse
...
Felix Gruber
2020-03-12
gnu: Add dune-subgrid
...
Felix Gruber
2020-03-12
gnu: Add dune-uggrid.
...
Felix Gruber
2020-03-12
gnu: dune-*: set up MPI for tests
...
Felix Gruber
2020-03-09
gnu: speedcrunch: Use HTTPS home page.
...
Tobias Geerinckx-Rice
2020-03-07
gnu: openblas: Use HTTPS home page.
...
Tobias Geerinckx-Rice
2020-03-06
gnu: wxmaxima: Update to 20.02.4.
...
Kei Kebreau
2020-03-04
gnu: SuiteSparse: Update to 5.7.1.
...
Felix Gruber
2020-02-23
gnu: z3: Build the Python bindings
...
Jakub Kądziołka
2020-02-21
gnu: Add vinci.
...
Andreas Enge
2020-02-10
gnu: octave, octave-cli: Update to 5.2.0.
...
Kei Kebreau
2020-01-31
gnu: superlu-dist: Update to 6.2.0.
...
Eric Bavier
2020-01-31
gnu: superlu: Update upstream url.
...
Eric Bavier
2020-01-23
gnu: wxmaxima: Update to 20.01.3.
...
Kei Kebreau
2020-01-19
gnu: elemental: Update home page.
...
Tobias Geerinckx-Rice
2020-01-19
gnu: petsc: Use HTTPS home page.
...
Tobias Geerinckx-Rice
2020-01-17
gnu: Use HTTPS for www.hdfgroup.org.
...
Tobias Geerinckx-Rice
2020-01-17
gnu: netcdf: Use HTTPS home page.
...
Tobias Geerinckx-Rice
2020-01-17
gnu: scotch: Use HTTPS home page.
...
Tobias Geerinckx-Rice
2020-01-17
Update email address for Amin Bandali.
...
Amin Bandali
2020-01-14
gnu: python-slepc4py: Update to 3.11.0.
...
Paul Garlick
2020-01-14
gnu: python-petsc4py: Update to 3.11.0.
...
Paul Garlick
2020-01-10
gnu: hdf5@1.10: Update to 1.10.6.
...
Tobias Geerinckx-Rice
2020-01-07
gnu: lapack: Update to 3.9.0.
...
Konrad Hinsen
2019-12-13
gnu: hdf5@1.10: Update to 1.10.5.
...
Ludovic Courtès
2019-12-06
gnu: Add lrslib.
...
Andreas Enge
2019-12-04
Merge branch 'staging'
Marius Bakke
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-28
Merge branch 'master' into staging
Marius Bakke
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-21
Merge branch 'master' into staging
Marius Bakke
2019-11-19
gnu: Add minisat.
...
Robert Smith
[next]