Age | Commit message (Collapse) | Author |
|
* gnu/packages/guile-xyz.scm (guile3.0-hashing): New variable.
|
|
* gnu/packages/guile-xyz.scm (guile-hashing): New variable.
|
|
* gnu/packages/lisp-xyz.scm (sbcl-zpb-ttf, ecl-zpb-ttf, cl-zpb-ttf): New
variables.
|
|
* gnu/packages/opencog.scm (opencog): New variable.
|
|
* gnu/packages/opencog.scm (attention): New variable.
|
|
* gnu/packages/language.scm (link-grammar): New variable.
|
|
* gnu/packages/opencog.scm (cogserver): New variable.
|
|
* gnu/packages/opencog.scm (atomspace): New variable.
|
|
* gnu/packages/opencog.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
|
|
* gnu/packages/nfs.scm (nfs-utils): Update to 2.4.2.
[source]: Remove patch.
[arguments]: Update configure flags, remove fix-glibc-compatability phase,
update substitutions.
[inputs]: Add keyutils and rpcsvc-proto.
* gnu/packages/patches/nfs-utils-missing-headers.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Remove it.
|
|
* gnu/packages/prolog.scm (swi-prolog): Update to 8.1.20.
|
|
* gnu/packages/prolog.scm (swi-prolog)[arguments]: Remove configuration step
for PDF documentation.
|
|
* 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>
|