index
:
guix
linode-image-docs
master
rocq-codeberg-pr-v1
rocq-codeberg-pr-v2
rocq-codeberg-pr-v3
rocq-wip
GNU transactional package management, distribution, deployment, and more!
Daniel Rostovtsev
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
maths.scm
Age
Commit message (
Expand
)
Author
2023-08-11
gnu: libflame: Remove input labels and use gexps.
Ludovic Courtès
2023-08-11
gnu: libflame: Remove dependency on OpenBLAS.
Ludovic Courtès
2023-08-08
gnu: libflame: Tweak synopsis.
Ludovic Courtès
2023-08-08
gnu: blis: Provide the CBLAS interface.
Ludovic Courtès
2023-08-07
gnu: maths: Remove a duplicate module import.
Andreas Enge
2023-07-30
gnu: libpoly: Update to 0.1.12.
Tobias Geerinckx-Rice
2023-07-23
gnu: calc: Update to 2.14.2.1.
Tobias Geerinckx-Rice
2023-07-26
gnu: Add calc.
Distopico
2023-07-16
gnu: vc: Use G-expressions.
Tobias Geerinckx-Rice
2023-07-16
gnu: vc: Update to 1.4.3.
Tobias Geerinckx-Rice
2023-07-16
gnu: frama-c: Build verbosely.
Tobias Geerinckx-Rice
2023-07-18
gnu: Deprecate `texlive-tiny'.
Nicolas Goaziou
2023-07-18
gnu: Rationalize texlive-updmap.cfg and texlive-tiny inputs.
Nicolas Goaziou
2023-07-18
gnu: hypre: Fix error when building documentation.
Nicolas Goaziou
2023-07-18
gnu: texlive-jknappen: Deprecate package.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-needspace -> texlive-needspace.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-varwidth -> texlive-varwidth.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-tabulary -> texlive-tabulary.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-parskip -> texlive-parskip.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-multirow -> texlive-multirow.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-float -> texlive-float.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-colortbl -> texlive-colortbl.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-cmap -> texlive-cmap.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-upquote -> texlive-upquote.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-geometry -> texlive-geometry.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-framed -> texlive-framed.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-fncychap -> texlive-fncychap.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-tocloft -> texlive-tocloft.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-stackengine -> texlive-stackengine.
Nicolas Goaziou
2023-07-18
gnu: texlive-generic-listofitems -> texlive-listofitems.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-newunicodechar -> texlive-newunicodechar.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-natbib -> texlive-natbib.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-hanging -> texlive-hanging.
Nicolas Goaziou
2023-07-18
gnu: texlive-dvips-l3backend -> texlive-l3backend.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-backend -> texlive-backend.
Nicolas Goaziou
2023-07-18
gnu: texlive-latex-etoc -> texlive-etoc.
Nicolas Goaziou
2023-07-17
gnu: frama-c: depend on zlib
Vivien Kraus
2023-07-09
gnu: btor2tools: Use HTTPS home page.
Tobias Geerinckx-Rice
2023-07-09
gnu: boolector: Use HTTPS home page.
Tobias Geerinckx-Rice
2023-07-09
gnu: 4ti2: Update home page.
Tobias Geerinckx-Rice
2023-07-09
gnu: armadillo: Update to 12.4.1.
Tobias Geerinckx-Rice
2023-07-09
gnu: aiger: Use HTTPS source & home page.
Tobias Geerinckx-Rice
2023-07-13
gnu: arpack-ng: Update to 3.9.0.
Ludovic Courtès
2023-07-11
gnu: gnuplot: Update to 5.4.8.
Paul A. Patience
2023-07-11
gnu: gmsh: Update to 4.11.1.
Paul A. Patience
2023-07-02
gnu: bitwise: Update to 0.43.
Tobias Geerinckx-Rice
2023-06-25
gnu: nomad-optimizer: Fix build.
Paul A. Patience
2023-06-09
gnu: lapack: Build CBLAS.
Ludovic Courtès
2023-06-08
gnu: octave-cli: Update to 8.2.0
Andy Tai
2023-06-08
gnu: Add python-blis-for-thinc.
Ricardo Wurmus
[next]