| Commit message (Collapse) | Author | Age |
|
|
|
|
|
| |
* gnu/packages/prolog.scm (swi-prolog)[arguments]: Enable tests and work
around tests that cause failure by trying to write to the store, or
establishing a network connection.
|
|
|
|
| |
* gnu/packages/xdisorg.scm (jgmenu): New variable.
|
|
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-company-posframe): New variable.
Signed-off-by: Brett Gilio <brettg@gnu.org>
|
|
|
|
| |
* gnu/packages/prolog.scm (swi-prolog): New variable.
|
|
|
|
| |
* gnu/packages/prolog.scm (gprolog)[license]: Use prefix for list of licenses.
|
|
|
|
| |
This reverts commit 3f37f3909712eb7269b6e8184c0d61bfc61b67f9.
|
|
|
|
| |
* gnu/packages/prolog.scm (swi-prolog): New variable.
|
|
|
|
|
|
| |
* 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/packages/scheme.scm (femtolisp): Update to 0.0.0-2. This commit revision
patches several bugs.
|
|
|
|
| |
* gnu/packages/audio.scm (soundtouch): Update to 2.1.2.
|
|
|
|
| |
* gnu/packages/check.scm (doctest): Update to 2.3.6.
|
|
|
|
| |
* gnu/packages/wm.scm (polybar): Update to 3.4.2.
|
|
|
|
| |
* gnu/packages/xiph.scm (libshout): Update to 2.4.3.
|
|
|
|
| |
* gnu/packages/xml.scm (html-xml-utils): Update to 7.8.
|
|
|
|
| |
* gnu/packages/text-editors.scm (mg)[description]: Use @command.
|
|
|
|
| |
* gnu/packages/python-xyz.scm (python-language-server): Update to 0.31.4.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-pyvenv): Update to 1.21.
|
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-request)[arguments]: Disabling test phase
as it checks for network access.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-request): Update to 0.3.2.
|
|
|
|
|
|
|
| |
* 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/packages/ocaml.scm (ocaml-fftw3): New variable.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-lacaml): New variable.
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-utop)[home-page]: Change home-page to reflect
permanent redirection.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.4.3.
|
|
|
|
|
|
|
| |
* gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm.
* gnu/packages/lean.scm: New file.
Signed-off-by: Brett Gilio <brettg@gnu.org>
|
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana, cl-ana): New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
|
| |
* 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/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/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/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/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/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/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/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/packages/lisp-xyz.scm (sbcl-cl-ana.makeres, cl-ana.makeres): New
variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.serialization, cl-ana.serialization):
New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
|
| |
* 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/packages/lisp-xyz.scm (sbcl-cl-ana.plotting, cl-ana.plotting): New
variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
|
| |
* 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/packages/lisp-xyz.scm (sbcl-cl-ana.statistics, cl-ana.statistics): New
variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
|
| |
* 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/packages/lisp-xyz.scm (sbcl-cl-ana.histogram, cl-ana.histogram): New
variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.fitting, cl-ana.fitting): New
variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
|
| |
* 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/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/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/packages/lisp-xyz.scm (sbcl-cl-ana.lorentz, cl-ana.lorentz): New
variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
|
| |
* 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/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/packages/lisp-xyz.scm (sbcl-cl-ana.csv-table, cl-ana.csv-table): New
variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|