summary refs log tree commit diff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
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
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.0Andy 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
2023-06-01gnu: openblas-ilp64: Add powerpc64le-linux as a supported system.Efraim Flashner
2023-05-04gnu: armadillo: Remove input labels.Ludovic Courtès
2023-05-04gnu: dune-common: Skip tests that fail on aarch64-linux.Felix Gruber
2023-05-02gnu: dune-pdelab: Update to 2.8.0-0.d5dddb6.Felix Gruber
2023-05-02gnu: dune-functions: Update to 2.9.0.Felix Gruber
2023-05-02gnu: dune-typetree: Update to 2.9.0.Felix Gruber
2023-05-02gnu: dune-subgrid: Update to 2.9.0-1-e83f3f9.Felix Gruber
2023-05-02gnu: dune-alugrid: Update to 2.9.0.Felix Gruber
2023-05-02gnu: dune-localfunctions: Update to 2.9.0.Felix Gruber
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 19:21:22 +0000