index
:
guix.git
keyring
master
private
[no description]
Gitolite user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
maths.scm
Age
Commit message (
Expand
)
Author
2022-10-02
gnu: units: Update to 2.22.
...
Mike Swanson
2022-09-22
gnu: lablgtk3: Update to 3.1.2.
...
Julien Lepiller
2022-08-15
gnu: Add kissat.
...
Maximilian Heisinger
2022-08-14
gnu: itpp: Remove non-deterministic log file.
...
Vagrant Cascadian
2022-08-10
gnu: frama-c: Use lablgtk3.
...
Julien Lepiller
2022-08-10
gnu: maxima: Fix to find info files.
...
Daniel Meißner
2022-08-09
gnu: cddlib: Update to 0.94m.
...
vicvbcun
2022-08-09
gnu: wxmaxima: Update to 22.05.0.
...
Andreas Enge
2022-08-09
gnu: maxima: Update to 5.46.0.
...
Andreas Enge
2022-08-05
gnu: mumps: Add alternate source code URL.
...
Ludovic Courtès
2022-08-05
gnu: mumps: Update to 5.5.1
...
FELŠÖCI Marek
2022-08-05
gnu: veusz: Fix build.
...
Felix Gruber
2022-08-04
gnu: Add itex2mml.
...
Philip McGrath
2022-08-02
gnu: gnuplot: Update to 5.4.4.
...
Paul A. Patience
2022-08-02
gnu: gnuplot: Use G-expressions.
...
Paul A. Patience
2022-08-02
gnu: gnuplot: Remove input labels.
...
Paul A. Patience
2022-08-02
gnu: wcalc: Remove pre-generated files.
...
Efraim Flashner
2022-08-01
gnu: trilinos-for-dealii-openmpi: Use G-expressions.
...
Paul A. Patience
2022-08-01
gnu: trilinos-for-dealii-openmpi: Remove input labels.
...
Paul A. Patience
2022-08-01
gnu: dealii: Update to 9.4.0.
...
Paul A. Patience
2022-08-01
gnu: dealii: Use G-expressions.
...
Paul A. Patience
2022-08-01
gnu: trilinos-for-dealii-openmpi: Fix build.
...
Paul A. Patience
2022-08-01
gnu: hdf5-1.8: Add missing comma to linker flag.
...
Paul A. Patience
2022-07-31
gnu: qttools: Rename to qttools-5.
...
Maxim Cournoyer
2022-07-31
gnu: qtsvg: Rename variable to qtsvg-5.
...
Maxim Cournoyer
2022-07-15
gnu: gmsh: Update to 4.10.5.
...
Paul A. Patience
2022-07-15
gnu: gmsh: Remove trailing booleans.
...
Paul A. Patience
2022-07-15
gnu: gmsh: Remove input labels.
...
Paul A. Patience
2022-07-13
gnu: elpa: Update source URL.
...
Maxim Cournoyer
2022-07-04
gnu: nauty: Update package style.
...
Nicolas Goaziou
2022-07-04
gnu: nauty: Update to 2.7r4.
...
Nicolas Goaziou
2022-07-04
gnu: Add giza
...
Sharlatan Hellseher
2022-07-04
gnu: z3: Prefer CMake to build the package.
...
Zhu Zihao
2022-07-04
gnu: z3: Update to 4.8.17.
...
Zhu Zihao
2022-07-04
gnu: z3: Use G-expressions.
...
Zhu Zihao
2022-07-01
gnu: mcrl2: Update to 202206.0.
...
Jan (janneke) Nieuwenhuizen
2022-06-30
gnu: octave: Update to 7.1.0.
...
Greg Hogan
2022-06-23
gnu: hypre: Add missing dependencies on latex fonts.
...
Ontje Lünsdorf
2022-06-08
Merge branch 'master' into staging
Ludovic Courtès
2022-06-06
gnu: itpp: Avoid embedding build dates.
...
Vagrant Cascadian
2022-06-01
Merge remote-tracking branch 'origin/master' into staging
Efraim Flashner
2022-05-31
gnu: Remove python2-kiwisolver.
...
Maxim Cournoyer
2022-05-31
gnu: Remove python2-numpy.
...
Maxim Cournoyer
2022-06-04
gnu: ruby-asciimath: Update to 2.0.4.
...
SeerLite
2022-05-28
gnu: nlopt: Update to 2.7.1.
...
Ricardo Wurmus
2022-05-15
gnu: openblas: Remove input labels.
...
Ludovic Courtès
2022-05-15
gnu: openblas: Update to 0.3.20
...
Aurora
2022-05-05
gnu: Add n2p2.
...
Pierre-Antoine Bouttier
2022-05-03
gnu: dealii: Update to 9.3.3.
...
Paul A. Patience
2022-05-03
gnu: dealii: Add SUNDIALS dependency.
...
Paul A. Patience
[next]