summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
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 zlib...Vivien 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
2023-07-11gnu: gnuplot: Update to 5.4.8....Paul A. Patience
2023-07-11gnu: gmsh: Update to 4.11.1....Paul A. Patience
2023-07-02gnu: bitwise: Update to 0.43....Tobias Geerinckx-Rice
2023-06-25gnu: nomad-optimizer: Fix build....Paul A. Patience
2023-06-09gnu: lapack: Build CBLAS....Ludovic Courtès
2023-06-08gnu: octave-cli: Update to 8.2.0...Andy Tai
2023-06-08gnu: Add python-blis-for-thinc....Ricardo Wurmus
2023-06-08gnu: Add python-blis....Ricardo Wurmus
2023-06-08gnu: blis: Update to 0.9.0....Ricardo Wurmus
2023-06-07gnu: hdf4: Add support for riscv64-linux....Efraim Flashner
2023-06-01gnu: openblas: Update make-flags comments and coding style....Efraim Flashner
2023-06-01gnu: openblas: Update architectures we provide substitutes for....Efraim Flashner
generated by cgit v1.2.3 (git 2.46.0) at 2024-08-20 21:37:49 +0000