aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Expand)AuthorAge
* gnu: hdf5: Remove 1.12.2.Andreas Enge2023-08-21
* gnu: scilab: Update to 5.5.2.Andreas Enge2023-08-18
* gnu: scilab: Fix compilation error.Nicolas Graves2023-08-18
* gnu: libflame: Update to 70c19e7.Ludovic Courtès2023-08-17
* gnu: mcrl2: Update to 202206.1.Janneke Nieuwenhuizen2023-08-17
* gnu: libflame: Remove input labels and use gexps.Ludovic Courtès2023-08-11
* gnu: libflame: Remove dependency on OpenBLAS.Ludovic Courtès2023-08-11
* gnu: libflame: Tweak synopsis.Ludovic Courtès2023-08-08
* gnu: blis: Provide the CBLAS interface.Ludovic Courtès2023-08-08
* gnu: maths: Remove a duplicate module import.Andreas Enge2023-08-07
* gnu: libpoly: Update to 0.1.12.Tobias Geerinckx-Rice2023-07-30
* gnu: calc: Update to 2.14.2.1.Tobias Geerinckx-Rice2023-07-23
* gnu: Add calc.Distopico2023-07-26
* gnu: vc: Use G-expressions.Tobias Geerinckx-Rice2023-07-16
* gnu: vc: Update to 1.4.3.Tobias Geerinckx-Rice2023-07-16
* gnu: frama-c: Build verbosely.Tobias Geerinckx-Rice2023-07-16
* gnu: Deprecate `texlive-tiny'.Nicolas Goaziou2023-07-18
* gnu: Rationalize texlive-updmap.cfg and texlive-tiny inputs.Nicolas Goaziou2023-07-18
* gnu: hypre: Fix error when building documentation.Nicolas Goaziou2023-07-18
* gnu: texlive-jknappen: Deprecate package.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-needspace -> texlive-needspace.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-varwidth -> texlive-varwidth.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-tabulary -> texlive-tabulary.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-parskip -> texlive-parskip.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-multirow -> texlive-multirow.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-float -> texlive-float.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-colortbl -> texlive-colortbl.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-cmap -> texlive-cmap.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-upquote -> texlive-upquote.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-geometry -> texlive-geometry.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-framed -> texlive-framed.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-fncychap -> texlive-fncychap.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-tocloft -> texlive-tocloft.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-stackengine -> texlive-stackengine.Nicolas Goaziou2023-07-18
* gnu: texlive-generic-listofitems -> texlive-listofitems.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-newunicodechar -> texlive-newunicodechar.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-natbib -> texlive-natbib.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-hanging -> texlive-hanging.Nicolas Goaziou2023-07-18
* gnu: texlive-dvips-l3backend -> texlive-l3backend.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-backend -> texlive-backend.Nicolas Goaziou2023-07-18
* gnu: texlive-latex-etoc -> texlive-etoc.Nicolas Goaziou2023-07-18
* gnu: frama-c: depend on zlibVivien Kraus2023-07-17
* gnu: btor2tools: Use HTTPS home page.Tobias Geerinckx-Rice2023-07-09
* gnu: boolector: Use HTTPS home page.Tobias Geerinckx-Rice2023-07-09
* gnu: 4ti2: Update home page.Tobias Geerinckx-Rice2023-07-09
* gnu: armadillo: Update to 12.4.1.Tobias Geerinckx-Rice2023-07-09
* gnu: aiger: Use HTTPS source & home page.Tobias Geerinckx-Rice2023-07-09
* gnu: arpack-ng: Update to 3.9.0.Ludovic Courtès2023-07-13
* gnu: gnuplot: Update to 5.4.8.Paul A. Patience2023-07-11
* gnu: gmsh: Update to 4.11.1.Paul A. Patience2023-07-11