index
:
guix
keyring
master
test
Personal fork of GNU Guix
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
maths.scm
Age
Commit message (
Expand
)
Author
2018-12-23
gnu: z3: Update to 4.8.3 and provide python3 bindings
Amin Bandali
2018-12-17
gnu: elemental: Don't use unstable tarball.
Efraim Flashner
2018-12-17
gnu: elemental: Fix indentation.
Efraim Flashner
2018-12-17
gnu: z3: Fix building on non-Intel machines.
Efraim Flashner
2018-12-17
gnu: z3: Declare source-file-name.
Efraim Flashner
2018-12-14
gnu: hypre: Replace texlive input with minimal texlive-union.
Pierre Neidhardt
2018-12-10
gnu: petsc-openmpi: Ensure compatibility of SCOTCH dependency.
Paul Garlick
2018-12-08
gnu: Rename "qtoctave" to "octave".
Kei Kebreau
2018-12-08
gnu: Rename "octave" to "octave-cli".
Kei Kebreau
2018-12-04
gnu: petsc-openmpi: Configure with support for HYPRE preconditioner.
Paul Garlick
2018-11-29
Merge branch 'master' into core-updates
Marius Bakke
2018-11-28
gnu: maxima: Update to 5.42.1.
Kei Kebreau
2018-11-27
gnu: wxmaxima: Update to 18.11.4.
Kei Kebreau
2018-11-24
Merge branch 'master' into core-updates
Marius Bakke
2018-11-23
gnu: python-slepc4py: Update to 3.10.0.
Paul Garlick
2018-11-23
gnu: python-petsc4py: Update to 3.10.0.
Paul Garlick
2018-11-23
gnu: slepc: Update to 3.10.1.
Paul Garlick
2018-11-23
gnu: petsc: Update to 3.10.2
Paul Garlick
2018-11-23
gnu: pt-scotch, pt-scotch32: Add Open MPI setup phase.
Ludovic Courtès
2018-11-20
Merge branch 'master' into core-updates
Marius Bakke
2018-11-20
gnu: z3: Update to 4.8.1.
Marius Bakke
2018-11-20
gnu: z3: Fetch source using git.
Marius Bakke
2018-11-18
gnu: ocaml: Update to 4.7.0.
Julien Lepiller
2018-11-18
gnu: maxima: Fix tests on i686 and x86_64.
Kei Kebreau
2018-11-14
gnu: Add python-slepc4py.
Paul Garlick
2018-11-14
gnu: Add python-petsc4py.
Paul Garlick
2018-11-09
Merge branch 'master' into core-updates
Marius Bakke
2018-11-09
gnu: wxmaxima: Update to 18.10.1.
Kei Kebreau
2018-11-07
Merge branch 'master' into core-updates
Marius Bakke
2018-11-07
gnu: Add hdf5-1.10.
Ricardo Wurmus
2018-11-05
Merge branch 'master' into core-updates
Marius Bakke
2018-11-05
gnu: glm: Update to 0.9.9.3.
Marius Bakke
2018-10-30
gnu: r-pracma: Update to 2.1.8.
Ricardo Wurmus
2018-10-27
gnu: units: Update to 2.18.
Tobias Geerinckx-Rice
2018-10-21
Merge branch 'master' into core-updates
Marius Bakke
2018-10-20
gnu: maxima: Update to 5.42.0.
Kei Kebreau
2018-10-17
Merge branch 'master' into core-updates
Marius Bakke
2018-10-11
gnu: Add python-cvxopt.
Ricardo Wurmus
2018-10-05
Merge branch 'master' into core-updates
Marius Bakke
2018-10-04
gnu: petsc-openmpi: Configure with support for MUMPS solver.
Paul Garlick
2018-09-26
Merge branch 'master' into core-updates
Marius Bakke
2018-09-24
gnu: octave: Add a search path for CURLOPT_CAPATH.
Kei Kebreau
2018-09-21
gnu: hdf5-parallel-openmpi: Really enable parallel build.
Paul Garlick
2018-09-21
gnu: hdf5: Allow for absence of utility script.
Paul Garlick
2018-09-20
Merge branch 'master' into core-updates
Marius Bakke
2018-09-20
gnu: Use INVOKE & return #t from Ruby package phases.
Tobias Geerinckx-Rice
2018-09-19
gnu: glm: Update to 0.9.9.2.
Marius Bakke
2018-09-19
gnu: arpack-ng: Update to 3.6.3.
Marius Bakke
2018-09-19
gnu: arpack-ng: Don't use unstable tarball.
Marius Bakke
2018-09-14
gnu: Add openblas-ilp64.
Eric Brown
[next]