summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-01-04gnu: Add cogutil....* gnu/packages/opencog.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. Ricardo Wurmus
2020-01-04gnu: nfs-utils: Update to 2.4.2....* 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. Ricardo Wurmus
2020-01-04gnu: swi-prolog: Update to 8.1.20....* gnu/packages/prolog.scm (swi-prolog): Update to 8.1.20. Brett Gilio
2020-01-04gnu: swi-prolog: Modify documentation installation....* gnu/packages/prolog.scm (swi-prolog)[arguments]: Remove configuration step for PDF documentation. Brett Gilio
2020-01-04gnu: swi-prolog: Enable tests....* 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. Brett Gilio
2020-01-04gnu: Add jgmenu....* gnu/packages/xdisorg.scm (jgmenu): New variable. Guillaume Le Vaillant
2020-01-03gnu: Add emacs-company-posframe....* gnu/packages/emacs-xyz.scm (emacs-company-posframe): New variable. Signed-off-by: Brett Gilio <brettg@gnu.org> LaFreniere, Joseph
2020-01-03gnu: Add swi-prolog....* gnu/packages/prolog.scm (swi-prolog): New variable. Brett Gilio
2020-01-03gnu: gprolog: Use license prefix....* gnu/packages/prolog.scm (gprolog)[license]: Use prefix for list of licenses. Brett Gilio
2020-01-03Revert "gnu: Add swi-prolog."...This reverts commit 3f37f3909712eb7269b6e8184c0d61bfc61b67f9. Brett Gilio
2020-01-03gnu: Add swi-prolog....* gnu/packages/prolog.scm (swi-prolog): New variable. Brett Gilio
2020-01-03gnu: Rename module gprolog to prolog....* 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. Brett Gilio
2020-01-03gnu: femtolisp: Update to 0.0.0-2....* gnu/packages/scheme.scm (femtolisp): Update to 0.0.0-2. This commit revision patches several bugs. Brett Gilio
2020-01-04gnu: soundtouch: Update to 2.1.2....* gnu/packages/audio.scm (soundtouch): Update to 2.1.2. Tobias Geerinckx-Rice
2020-01-04gnu: doctest: Update to 2.3.6....* gnu/packages/check.scm (doctest): Update to 2.3.6. Tobias Geerinckx-Rice
2020-01-04gnu: polybar: Update to 3.4.2....* gnu/packages/wm.scm (polybar): Update to 3.4.2. Tobias Geerinckx-Rice
2020-01-04gnu: libshout: Update to 2.4.3....* gnu/packages/xiph.scm (libshout): Update to 2.4.3. Tobias Geerinckx-Rice
2020-01-04gnu: html-xml-utils: Update to 7.8....* gnu/packages/xml.scm (html-xml-utils): Update to 7.8. Tobias Geerinckx-Rice
2020-01-04gnu: mg: Use @command mark-up in description....* gnu/packages/text-editors.scm (mg)[description]: Use @command. Tobias Geerinckx-Rice
2020-01-03gnu: python-language-server: Update to 0.31.4....* gnu/packages/python-xyz.scm (python-language-server): Update to 0.31.4. Brett Gilio
2020-01-03gnu: emacs-pyvenv: Update to 1.21....* gnu/packages/emacs-xyz.scm (emacs-pyvenv): Update to 1.21. Brett Gilio
2020-01-03gnu: emacs-request: Disable tests....* gnu/packages/emacs-xyz.scm (emacs-request)[arguments]: Disabling test phase as it checks for network access. Brett Gilio
2020-01-03gnu: emacs-request: Update to 0.3.2....* gnu/packages/emacs-xyz.scm (emacs-request): Update to 0.3.2. Brett Gilio
2020-01-03gnu: emacs-doom-themes: Add note about byte-compilation issue....* 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. Brett Gilio
2020-01-03gnu: Add ocaml-fftw3....* gnu/packages/ocaml.scm (ocaml-fftw3): New variable. Brett Gilio
2020-01-03gnu: Add ocaml-lacaml....* gnu/packages/ocaml.scm (ocaml-lacaml): New variable. Brett Gilio
2020-01-03gnu: ocaml-utop: Modify home-page....* gnu/packages/ocaml.scm (ocaml-utop)[home-page]: Change home-page to reflect permanent redirection. Brett Gilio
2020-01-03gnu: ocaml-utop: Update to 2.4.3....* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.4.3. Brett Gilio
2020-01-03gnu: Add lean....* gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm. * gnu/packages/lean.scm: New file. Signed-off-by: Brett Gilio <brettg@gnu.org> Amin Bandali
2020-01-03gnu: Add cl-ana....* gnu/packages/lisp-xyz.scm (sbcl-cl-ana, cl-ana): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.statistical-learning....* 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> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-utils....* 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> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-branch....* 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> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-graphviz....* 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> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-table....* 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> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-progress....* 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> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-block....* 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> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-macro....* 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> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres....* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres, cl-ana.makeres): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.serialization....* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.serialization, cl-ana.serialization): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.table-viewing....* 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> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.plotting....* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.plotting, cl-ana.plotting): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.gnuplot-interface....* 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> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.statistics....* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.statistics, cl-ana.statistics): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.file-utils....* 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> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.histogram....* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.histogram, cl-ana.histogram): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.fitting....* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.fitting, cl-ana.fitting): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.map....* 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> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.hash-table-utils....* 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> Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.clos-utils....* 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> Katherine Cox-Buday