summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Collapse)Author
2023-09-08gnu: Add ruy.Andy Tai
* gnu/packages/maths.scm (ruy): New variable. Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2023-08-31gnu: matio: Update to 1.5.23.Andreas Enge
* gnu/packages/maths.scm (matio): Update to 1.5.23.
2023-08-31gnu: matio: Use standard hd5 as input.Andreas Enge
* gnu/packages/maths.scm (matio)[inputs]: Replace hdf5-1.8 by hdf5, which is version 1.10.
2023-08-21gnu: hdf5: Remove 1.12.2.Andreas Enge
* gnu/packages/maths.scm (hdf5-1.12): Remove variable.
2023-08-18gnu: scilab: Update to 5.5.2.Andreas Enge
* gnu/packages/maths.scm (scilab): Update to 5.5.2.
2023-08-18gnu: scilab: Fix compilation error.Nicolas Graves
Signed-off-by: Andreas Enge <andreas@enge.fr>
2023-08-17gnu: libflame: Update to 70c19e7.Ludovic Courtès
* gnu/packages/maths.scm (libflame): Update to 70c19e7. [arguments]: Add #:make-flags.
2023-08-17gnu: mcrl2: Update to 202206.1.Janneke Nieuwenhuizen
* gnu/packages/maths.scm (mcrl2): Update to 202206.1. [source]: Remove patches. * gnu/packages/patches/mcrl2-fix-1687.patch, gnu/packages/patches/mcrl2-fix-counterexample.patch: Remove files. * gnu/local.mk (dist_patch_DATA): Remove their references.
2023-08-11gnu: libflame: Remove input labels and use gexps.Ludovic Courtès
* gnu/packages/maths.scm (libflame)[arguments]: Use gexps and remove trailing #t in phases. [inputs, native-inputs]: Remove labels.
2023-08-11gnu: libflame: Remove dependency on OpenBLAS.Ludovic Courtès
This dependency was build-time-only and unused at compile time (the test suite is unaffected). * gnu/packages/maths.scm (libflame)[native-inputs]: Remove OPENBLAS.
2023-08-08gnu: libflame: Tweak synopsis.Ludovic Courtès
* gnu/packages/maths.scm (libflame)[synopsis]: Expand acronym.
2023-08-08gnu: blis: Provide the CBLAS interface.Ludovic Courtès
* gnu/packages/maths.scm (blis)[arguments]: Add #:configure-flags.
2023-08-07gnu: maths: Remove a duplicate module import.Andreas Enge
Reported-by: Andy Tai <atai@atai.org> * gnu/packages/maths.scm: Remove duplicate line.
2023-07-30gnu: libpoly: Update to 0.1.12.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (libpoly): Update to 0.1.12.
2023-07-23gnu: calc: Update to 2.14.2.1.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (calc): Update to 2.14.2.1.
2023-07-26gnu: Add calc.Distopico
* gnu/packages/maths.scm (calc): New variable. Co-authored-by: Andreas Enge <andreas@enge.fr>
2023-07-16gnu: vc: Use G-expressions.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (vc)[arguments]: Rewrite as G-expressions.
2023-07-16gnu: vc: Update to 1.4.3.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (vc): Update to 1.4.3. [arguments]: Don't explicitly return #t from phases.
2023-07-16gnu: frama-c: Build verbosely.Tobias Geerinckx-Rice
As verbosely as most other packages, that is. * gnu/packages/maths.scm (frama-c)[arguments]: Add "--enable-verbosemake" to #:configure-flags.
2023-07-18gnu: Deprecate `texlive-tiny'.Nicolas Goaziou
At this point, there are three equivalent TeX Live sub-systems: texlive-scheme-basic, texlive-tiny, and (texlive-updmap.cfg). It is confusing to keep so many around. * doc/contributing.texi (Submitting Patches): Remove reference to TEXLIVE-TINY. * gnu/packages/algebra.scm (pari-gp)[native-inputs]: (giac)[native-inputs]: * gnu/packages/chez.scm (chez-sockets)[native-inputs]: * gnu/packages/engineering.scm (fastcap)[native-inputs]: * gnu/packages/gettext.scm (po4a)[native-inputs]: * gnu/packages/maths.scm (cddlib)[native-inputs]: (gnuplot)[native-inputs]: (itpp)[native-inputs]: * gnu/packages/ocaml.scm (unison)[native-inputs]: * gnu/packages/pdf.scm (extractpdfmark)[native-inputs]: * gnu/packages/photo.scm (enblend-enfuse): Replace TEXLIVE-TINY with a call to TEXLIVE-UPDMAP.CFG. * gnu/packages/radio.scm (gnuradio)[native-inputs]: Remove unnecessary TEXLIVE-TINY. * gnu/packages/tex.scm (texlive-tiny): Deprecate it in favor of TEXLIVE-SCHEME-BASIC. (texlive-makecmds)[native-inputs]: Replace TEXLIVE-TINY with a call to TEXLIVE-UPDMAP.CFG. * guix/lint.scm (check-inputs-should-be-native): Check only for "texlive-updmap.cfg" input name.
2023-07-18gnu: Rationalize texlive-updmap.cfg and texlive-tiny inputs.Nicolas Goaziou
TEXLIVE-UPDMAP.CFG and TEXLIVE-TINY should only be used as native inputs. Also remove texlive packages already provided by them. * doc/build.scm (pdf-manual): * gnu/packages/algebra.scm (pari-gp): * gnu/packages/bioinformatics.scm (discrover): (phyml): (velvet): * gnu/packages/chemistry.scm (yaehmop): * gnu/packages/chez.scm (stex-bootstrap): (chez-web): (chez-sockets): * gnu/packages/cran.scm (r-prereg): * gnu/packages/docbook.scm (dblatex): * gnu/packages/emacs-xyz.scm (emacs-auctex): * gnu/packages/engineering.scm (fastcap): * gnu/packages/fsf.scm (book-faif): * gnu/packages/graphviz.scm (dot2tex): * gnu/packages/maths.scm (hypre): * gnu/packages/ocaml.scm (unison): (ocaml-bibtex2html): * gnu/packages/plotutils.scm (asymptote): * gnu/packages/python-xyz.scm (python-nbconvert): (python-pypandoc): * gnu/packages/radio.scm (gnuradio): (libosmo-dsp): * gnu/packages/statistics.scm (r-with-tests): * gnu/packages/tex.scm (texlive-makecmds): (texlive-innerscript): (teximpatient): (texlive-xkeyval): Remove texlive packages already provided by TEXLIVE-UPDMAP.CFG. Don't add TEXLIVE-TINY or TEXLIVE-UPDMAP.CFG as inputs.
2023-07-18gnu: hypre: Fix error when building documentation.Nicolas Goaziou
* gnu/packages/maths.scm (hypre)[native-inputs]: Add TEXLIVE-LATEXMK.
2023-07-18gnu: texlive-jknappen: Deprecate package.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-jknappen): Deprecate variable. (texlive-paralist): (texlive-jadetex): (texlive-xindy): * gnu/packages/maths.scm (hypre): * gnu/packages/python-xyz.scm (python-nbconvert): Use TEXLIVE-JKNAPLTX instead.
2023-07-18gnu: texlive-latex-needspace -> texlive-needspace.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-needspace): New variable. (texlive-latex-needspace): Deprecate variable. * gnu/packages/maths.scm (hypre)[native-inputs]: * gnu/packages/sphinx.scm (python-sphinx)[propagated-inputs]: Use new name.
2023-07-18gnu: texlive-latex-varwidth -> texlive-varwidth.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-varwidth): New variable. (texlive-latex-varwidth): Deprecate variable. (texlive-adjustbox): Use new name. * gnu/packages/maths.scm (hypre)[native-inputs]: Use new name. Re-order alphabetically. * gnu/packages/sphinx.scm (python-sphinx)[propagated-inputs]: Use new name. Re-order alphabetically.
2023-07-18gnu: texlive-latex-tabulary -> texlive-tabulary.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-tabulary): New variable. (texlive-latex-tabulary): Deprecate variable. * gnu/packages/maths.scm (hypre): * gnu/packages/sphinx.scm (python-sphinx): Use new name.
2023-07-18gnu: texlive-latex-parskip -> texlive-parskip.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-parskip): New variable. (texlive-latex-parskip): Deprecate variable. * gnu/packages/maths.scm (hypre): * gnu/packages/plotutils.scm (asymptote): * gnu/packages/python-xyz.scm (python-nbconvert): * gnu/packages/sphinx.scm (python-sphinx): Use new name.
2023-07-18gnu: texlive-latex-multirow -> texlive-multirow.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-multirow): New variable. (texlive-latex-multirow): Deprecate variable. (texlive-metalogo): * gnu/packages/docbook.scm (dblatex): * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-latex-float -> texlive-float.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-float): New variable. (texlive-latex-float): Deprecate variable. (texlive-showexpl): (texlive-minted): (texlive-apa6): * gnu/packages/docbook.scm (dblatex): * gnu/packages/maths.scm (hypre): * gnu/packages/python-xyz.scm (python-nbconvert): * gnu/packages/sphinx.scm (python-sphinx): Use new name.
2023-07-18gnu: texlive-latex-colortbl -> texlive-colortbl.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-colortbl): New variable. (texlive-latex-colortbl): Deprecate variable. (texlive-jadetex): * gnu/packages/docbook.scm (dblatex): * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-latex-cmap -> texlive-cmap.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-cmap): New variable. (texlive-latex-cmap): Deprecate variable. * gnu/packages/maths.scm (hypre): * gnu/packages/sphinx.scm (python-sphinx): Use new name.
2023-07-18gnu: texlive-latex-upquote -> texlive-upquote.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-upquote): New variable. (texlive-latex-upquote): Deprecate variable. * gnu/packages/cran.scm (r-prereg): * gnu/packages/maths.scm (hypre): * gnu/packages/python-xyz.scm (python-nbconvert): * gnu/packages/sphinx.scm (python-sphinx): * gnu/packages/statistics.scm (r-with-tests): Use new name.
2023-07-18gnu: texlive-latex-geometry -> texlive-geometry.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-geometry): New variable. (texlive-latex-geometry): Deprecate variable. (texlive-xindy): * gnu/packages/chemistry.scm (yaehmop): * gnu/packages/cran.scm (r-prereg): * gnu/packages/graphviz.scm (dot2tex): * gnu/packages/maths.scm (hypre): * gnu/packages/plotutils.scm (asymptote): * gnu/packages/python-xyz.scm (python-nbconvert): * gnu/packages/sphinx.scm (python-sphinx): Use new name.
2023-07-18gnu: texlive-latex-framed -> texlive-framed.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-framed): New variable. (texlive-latex-framed): Deprecate variable. (texlive-minted): * gnu/packages/maths.scm (hypre): * gnu/packages/sphinx.scm (python-sphinx): Use new name.
2023-07-18gnu: texlive-latex-fncychap -> texlive-fncychap.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-fncychap): New variable. (texlive-latex-fncychap): Deprecate variable. * gnu/packages/maths.scm (hypre): * gnu/packages/sphinx.scm (python-sphinx): Use new name.
2023-07-18gnu: texlive-latex-tocloft -> texlive-tocloft.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-tocloft): New variable. (texlive-latex-tocloft): Deprecate variable. * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-latex-stackengine -> texlive-stackengine.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-stackengine): New variable. (texlive-latex-stackengine): Deprecate variable. * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-generic-listofitems -> texlive-listofitems.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-listofitems): New variable. (texlive-generic-listofitems): Deprecate variable. (texlive-latex-readarray): * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-latex-newunicodechar -> texlive-newunicodechar.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-newunicodechar): New variable. (texlive-latex-newunicodechar): Deprecate variable. * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-latex-natbib -> texlive-natbib.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-natbib): New variable. (texlive-latex-natbib): Deprecate variable. (texlive-apacite): * gnu/packages/bioinformatics.scm (discrover): * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-latex-hanging -> texlive-hanging.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-hanging): New variable. (texlive-latex-hanging): Deprecate variable. * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-dvips-l3backend -> texlive-l3backend.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-dvips-l3backend): Deprecate package. * gnu/packages/chez.scm (stex-bootstrap): * gnu/packages/maths.scm (cddlib): * gnu/packages/ocaml.scm (unison): * gnu/packages/plotutils.scm (asymptote): Use new name.
2023-07-18gnu: texlive-latex-backend -> texlive-backend.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-l3backend): New variable. (texlive-latex-l3backend): Deprecate package. (texlive-latex-base): (texlive-xetex): * gnu/packages/maths.scm (cddlib): Apply renaming.
2023-07-18gnu: texlive-latex-etoc -> texlive-etoc.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-etoc): New variable. (texlive-latex-etoc): Deprecate variable. * gnu/packages/maths.scm (hypre): Apply renaming.
2023-07-17gnu: frama-c: depend on zlibVivien Kraus
* gnu/packages/maths.scm (frama-c) [inputs]: Add zlib. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2023-07-09gnu: btor2tools: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (btor2tools)[home-page]: Use HTTPS.
2023-07-09gnu: boolector: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (boolector)[home-page]: Use HTTPS.
2023-07-09gnu: 4ti2: Update home page.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (4ti2)[home-page]: Update.
2023-07-09gnu: armadillo: Update to 12.4.1.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (armadillo): Update to 12.4.1.
2023-07-09gnu: aiger: Use HTTPS source & home page.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (aiger)[source, home-page]: Use HTTPS.
generated by cgit v1.2.3 (git 2.45.2) at 2024-07-16 08:55:41 +0000