summary refs log tree commit diff
path: root/gnu/packages
AgeCommit message (Collapse)Author
2020-01-03gnu: emacs-doom-themes: Add note about byte-compilation issue.Brett Gilio
* gnu/packages/emacs-xyz.scm (emacs-doom-themes): The byte-compilation issue has been worked around upstream, but arguably not as effective as the strategy we use in our package. Make a note about this issue, and mark the affecting commit number.
2020-01-03gnu: Add ocaml-fftw3.Brett Gilio
* gnu/packages/ocaml.scm (ocaml-fftw3): New variable.
2020-01-03gnu: Add ocaml-lacaml.Brett Gilio
* gnu/packages/ocaml.scm (ocaml-lacaml): New variable.
2020-01-03gnu: ocaml-utop: Modify home-page.Brett Gilio
* gnu/packages/ocaml.scm (ocaml-utop)[home-page]: Change home-page to reflect permanent redirection.
2020-01-03gnu: ocaml-utop: Update to 2.4.3.Brett Gilio
* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.4.3.
2020-01-03gnu: Add lean.Amin Bandali
* gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm. * gnu/packages/lean.scm: New file. Signed-off-by: Brett Gilio <brettg@gnu.org>
2020-01-03gnu: Add cl-ana.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana, cl-ana): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.statistical-learning.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.statistical-learning, cl-ana.statistical-learning): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.makeres-utils.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres-utils, cl-ana.makeres-utils): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.makeres-branch.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres-branch, cl-ana.makeres-branch): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.makeres-graphviz.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres-graphviz, cl-ana.makeres-graphviz): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.makeres-table.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres-table, cl-ana.makeres-table): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.makeres-progress.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres-progress, cl-ana.makeres-progress): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.makeres-block.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres-block, cl-ana.makeres-block): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.makeres-macro.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres-macro, cl-ana.makeres-macro): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.makeres.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres, cl-ana.makeres): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.serialization.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.serialization, cl-ana.serialization): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.table-viewing.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.table-viewing, cl-ana.table-viewing): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.plotting.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.plotting, cl-ana.plotting): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.gnuplot-interface.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.gnuplot-interface, cl-ana.gnuplot-interface, ecl-cl-ana.gnuplot-interface): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.statistics.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.statistics, cl-ana.statistics): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.file-utils.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.file-utils, cl-ana.file-utils, ecl-cl-ana.file-utils): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.histogram.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.histogram, cl-ana.histogram): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.fitting.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.fitting, cl-ana.fitting): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.map.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.map, cl-ana.map, ecl-cl-ana.map): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.hash-table-utils.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.hash-table-utils, cl-ana.hash-table-utils, ecl-cl-ana.hash-table-utils): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.clos-utils.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.clos-utils, cl-ana.clos-utils, ecl-cl-ana.clos-utils): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.lorentz.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.lorentz, cl-ana.lorentz): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.linear-algebra.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.linear-algebra, cl-ana.linear-algebra): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.reusable-table.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.reusable-table, cl-ana.reusable-table, ecl-cl-ana.reusable-table): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.csv-table.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.csv-table, cl-ana.csv-table): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.ntuple-table.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.ntuple-table, cl-ana.ntuple-table): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.gsl-cffi.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.gsl-cffi, cl-ana.gsl-cffi, ecl-cl-ana.gsl-cffi): New variables. Co-authored-by: Guillaume Le Vaillant <glv@posteo.net> Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.hdf-table.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.hdf-table, cl-ana.hdf-table, ecl-cl-ana.hdf-table): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.typed-table.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.typed-table, cl-ana.typed-table, ecl-cl-ana.typed-table): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.hdf-utils.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.hdf-utils, cl-ana.hdf-utils, ecl-cl-ana.hdf-utils): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.hdf-typespec.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.hdf-typespec, cl-ana.hdf-typespec, ecl-cl-ana.hdf-typespec): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.typespec.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.typespec, cl-ana.typespec, ecl-cl-ana.typespec): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.memoization.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.memoization, cl-ana.memoization, ecl-cl-ana.memoization): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.int-char.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.int-char, cl-ana.int-char, ecl-cl-ana.int-char): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.hdf-cffi.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.hdf-cffi, cl-ana.hdf-cffi, ecl-cl-ana.hdf-cffi): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.table-utils.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.table-utils, cl-ana.table-utils, ecl-cl-ana.table-utils): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.table.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.table, cl-ana.table, ecl-cl-ana.table): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.quantity.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.quantity, cl-ana.quantity): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.error-propogation.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.error-propogation, cl-ana.error-propogation): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.tensor.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.tensor, cl-ana.tensor, ecl-cl-ana.tensor): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.binary-tree.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.binary-tree, cl-ana.binary-tree, ecl-cl-ana.binary-tree): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.macro-utils.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.macro-utils, cl-ana.macro-utils, ecl-cl-ana.macro-utils): New packages. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.symbol-utils.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.symbol-utils, cl-ana.symbol-utils, ecl-cl-ana.symbol-utils): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03gnu: Add cl-ana.calculus.Katherine Cox-Buday
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.calculus, cl-ana.calculus, ecl-cl-ana.calculus): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>