aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Revert "gnu: Add swi-prolog."Brett Gilio2020-01-03
| | | | This reverts commit 3f37f3909712eb7269b6e8184c0d61bfc61b67f9.
* gnu: Add swi-prolog.Brett Gilio2020-01-03
| | | | * gnu/packages/prolog.scm (swi-prolog): New variable.
* gnu: Rename module gprolog to prolog.Brett Gilio2020-01-03
| | | | | | * gnu/local.mk (GNU_SYSTEM_MODULES): Replace gprolog.scm => prolog.scm. * gnu/packages/{gprolog.scm -> prolog.scm}: Rename file so it is not implementation specific.
* gnu: femtolisp: Update to 0.0.0-2.Brett Gilio2020-01-03
| | | | | * gnu/packages/scheme.scm (femtolisp): Update to 0.0.0-2. This commit revision patches several bugs.
* gnu: soundtouch: Update to 2.1.2.Tobias Geerinckx-Rice2020-01-04
| | | | * gnu/packages/audio.scm (soundtouch): Update to 2.1.2.
* gnu: doctest: Update to 2.3.6.Tobias Geerinckx-Rice2020-01-04
| | | | * gnu/packages/check.scm (doctest): Update to 2.3.6.
* gnu: polybar: Update to 3.4.2.Tobias Geerinckx-Rice2020-01-04
| | | | * gnu/packages/wm.scm (polybar): Update to 3.4.2.
* gnu: libshout: Update to 2.4.3.Tobias Geerinckx-Rice2020-01-04
| | | | * gnu/packages/xiph.scm (libshout): Update to 2.4.3.
* gnu: html-xml-utils: Update to 7.8.Tobias Geerinckx-Rice2020-01-04
| | | | * gnu/packages/xml.scm (html-xml-utils): Update to 7.8.
* gnu: mg: Use @command mark-up in description.Tobias Geerinckx-Rice2020-01-04
| | | | * gnu/packages/text-editors.scm (mg)[description]: Use @command.
* gnu: python-language-server: Update to 0.31.4.Brett Gilio2020-01-03
| | | | * gnu/packages/python-xyz.scm (python-language-server): Update to 0.31.4.
* gnu: emacs-pyvenv: Update to 1.21.Brett Gilio2020-01-03
| | | | * gnu/packages/emacs-xyz.scm (emacs-pyvenv): Update to 1.21.
* gnu: emacs-request: Disable tests.Brett Gilio2020-01-03
| | | | | * gnu/packages/emacs-xyz.scm (emacs-request)[arguments]: Disabling test phase as it checks for network access.
* gnu: emacs-request: Update to 0.3.2.Brett Gilio2020-01-03
| | | | * gnu/packages/emacs-xyz.scm (emacs-request): Update to 0.3.2.
* gnu: emacs-doom-themes: Add note about byte-compilation issue.Brett Gilio2020-01-03
| | | | | | | * 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.
* gnu: Add ocaml-fftw3.Brett Gilio2020-01-03
| | | | * gnu/packages/ocaml.scm (ocaml-fftw3): New variable.
* gnu: Add ocaml-lacaml.Brett Gilio2020-01-03
| | | | * gnu/packages/ocaml.scm (ocaml-lacaml): New variable.
* gnu: ocaml-utop: Modify home-page.Brett Gilio2020-01-03
| | | | | * gnu/packages/ocaml.scm (ocaml-utop)[home-page]: Change home-page to reflect permanent redirection.
* gnu: ocaml-utop: Update to 2.4.3.Brett Gilio2020-01-03
| | | | * gnu/packages/ocaml.scm (ocaml-utop): Update to 2.4.3.
* gnu: Add lean.Amin Bandali2020-01-03
| | | | | | | * gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm. * gnu/packages/lean.scm: New file. Signed-off-by: Brett Gilio <brettg@gnu.org>
* gnu: Add cl-ana.Katherine Cox-Buday2020-01-03
| | | | | | * gnu/packages/lisp-xyz.scm (sbcl-cl-ana, cl-ana): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
* gnu: Add cl-ana.statistical-learning.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.makeres-utils.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.makeres-branch.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.makeres-graphviz.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.makeres-table.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.makeres-progress.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.makeres-block.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.makeres-macro.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.makeres.Katherine Cox-Buday2020-01-03
| | | | | | | * gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres, cl-ana.makeres): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
* gnu: Add cl-ana.serialization.Katherine Cox-Buday2020-01-03
| | | | | | | * gnu/packages/lisp-xyz.scm (sbcl-cl-ana.serialization, cl-ana.serialization): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
* gnu: Add cl-ana.table-viewing.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.plotting.Katherine Cox-Buday2020-01-03
| | | | | | | * gnu/packages/lisp-xyz.scm (sbcl-cl-ana.plotting, cl-ana.plotting): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
* gnu: Add cl-ana.gnuplot-interface.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.statistics.Katherine Cox-Buday2020-01-03
| | | | | | | * gnu/packages/lisp-xyz.scm (sbcl-cl-ana.statistics, cl-ana.statistics): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
* gnu: Add cl-ana.file-utils.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.histogram.Katherine Cox-Buday2020-01-03
| | | | | | | * gnu/packages/lisp-xyz.scm (sbcl-cl-ana.histogram, cl-ana.histogram): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
* gnu: Add cl-ana.fitting.Katherine Cox-Buday2020-01-03
| | | | | | | * gnu/packages/lisp-xyz.scm (sbcl-cl-ana.fitting, cl-ana.fitting): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
* gnu: Add cl-ana.map.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.hash-table-utils.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.clos-utils.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.lorentz.Katherine Cox-Buday2020-01-03
| | | | | | | * gnu/packages/lisp-xyz.scm (sbcl-cl-ana.lorentz, cl-ana.lorentz): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
* gnu: Add cl-ana.linear-algebra.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.reusable-table.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.csv-table.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.ntuple-table.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.gsl-cffi.Katherine Cox-Buday2020-01-03
| | | | | | | | * 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>
* gnu: Add cl-ana.hdf-table.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.typed-table.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>
* gnu: Add cl-ana.hdf-utils.Katherine Cox-Buday2020-01-03
| | | | | | | * 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>