summary refs log tree commit diff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2023-08-31gnu: matio: Update to 1.5.23.Andreas Enge
2023-08-31gnu: matio: Use standard hd5 as input.Andreas Enge
2023-08-21gnu: hdf5: Remove 1.12.2.Andreas Enge
2023-08-18gnu: scilab: Update to 5.5.2.Andreas Enge
2023-08-18gnu: scilab: Fix compilation error.Nicolas Graves
2023-08-17gnu: libflame: Update to 70c19e7.Ludovic Courtès
2023-08-17gnu: mcrl2: Update to 202206.1.Janneke Nieuwenhuizen
2023-08-11gnu: libflame: Remove input labels and use gexps.Ludovic Courtès
2023-08-11gnu: libflame: Remove dependency on OpenBLAS.Ludovic Courtès
2023-08-08gnu: libflame: Tweak synopsis.Ludovic Courtès
2023-08-08gnu: blis: Provide the CBLAS interface.Ludovic Courtès
2023-08-07gnu: maths: Remove a duplicate module import.Andreas Enge
2023-07-30gnu: libpoly: Update to 0.1.12.Tobias Geerinckx-Rice
2023-07-23gnu: calc: Update to 2.14.2.1.Tobias Geerinckx-Rice
2023-07-26gnu: Add calc.Distopico
2023-07-16gnu: vc: Use G-expressions.Tobias Geerinckx-Rice
2023-07-16gnu: vc: Update to 1.4.3.Tobias Geerinckx-Rice
2023-07-16gnu: frama-c: Build verbosely.Tobias Geerinckx-Rice
2023-07-18gnu: Deprecate `texlive-tiny'.Nicolas Goaziou
2023-07-18gnu: Rationalize texlive-updmap.cfg and texlive-tiny inputs.Nicolas Goaziou
2023-07-18gnu: hypre: Fix error when building documentation.Nicolas Goaziou
2023-07-18gnu: texlive-jknappen: Deprecate package.Nicolas Goaziou
2023-07-18gnu: texlive-latex-needspace -> texlive-needspace.Nicolas Goaziou
2023-07-18gnu: texlive-latex-varwidth -> texlive-varwidth.Nicolas Goaziou
2023-07-18gnu: texlive-latex-tabulary -> texlive-tabulary.Nicolas Goaziou
2023-07-18gnu: texlive-latex-parskip -> texlive-parskip.Nicolas Goaziou
2023-07-18gnu: texlive-latex-multirow -> texlive-multirow.Nicolas Goaziou
2023-07-18gnu: texlive-latex-float -> texlive-float.Nicolas Goaziou
2023-07-18gnu: texlive-latex-colortbl -> texlive-colortbl.Nicolas Goaziou
2023-07-18gnu: texlive-latex-cmap -> texlive-cmap.Nicolas Goaziou
2023-07-18gnu: texlive-latex-upquote -> texlive-upquote.Nicolas Goaziou
2023-07-18gnu: texlive-latex-geometry -> texlive-geometry.Nicolas Goaziou
2023-07-18gnu: texlive-latex-framed -> texlive-framed.Nicolas Goaziou
2023-07-18gnu: texlive-latex-fncychap -> texlive-fncychap.Nicolas Goaziou
2023-07-18gnu: texlive-latex-tocloft -> texlive-tocloft.Nicolas Goaziou
2023-07-18gnu: texlive-latex-stackengine -> texlive-stackengine.Nicolas Goaziou
2023-07-18gnu: texlive-generic-listofitems -> texlive-listofitems.Nicolas Goaziou
2023-07-18gnu: texlive-latex-newunicodechar -> texlive-newunicodechar.Nicolas Goaziou
2023-07-18gnu: texlive-latex-natbib -> texlive-natbib.Nicolas Goaziou
2023-07-18gnu: texlive-latex-hanging -> texlive-hanging.Nicolas Goaziou
2023-07-18gnu: texlive-dvips-l3backend -> texlive-l3backend.Nicolas Goaziou
2023-07-18gnu: texlive-latex-backend -> texlive-backend.Nicolas Goaziou
2023-07-18gnu: texlive-latex-etoc -> texlive-etoc.Nicolas Goaziou
2023-07-17gnu: frama-c: depend on zlibVivien Kraus
2023-07-09gnu: btor2tools: Use HTTPS home page.Tobias Geerinckx-Rice
2023-07-09gnu: boolector: Use HTTPS home page.Tobias Geerinckx-Rice
2023-07-09gnu: 4ti2: Update home page.Tobias Geerinckx-Rice
2023-07-09gnu: armadillo: Update to 12.4.1.Tobias Geerinckx-Rice
2023-07-09gnu: aiger: Use HTTPS source & home page.Tobias Geerinckx-Rice
2023-07-13gnu: arpack-ng: Update to 3.9.0.Ludovic Courtès
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-20 05:11:35 +0000