summaryrefslogtreecommitdiff
path: root/gnu
AgeCommit message (Expand)Author
2020-01-04gnu: guile-hashing: Add variant for Guile 3.0.Ludovic Courtès
2020-01-04gnu: Add guile-hashing.Ludovic Courtès
2020-01-04gnu: Add cl-zpb-ttf.Ricardo Wurmus
2020-01-04gnu: Add opencog.Ricardo Wurmus
2020-01-04gnu: Add attention.Ricardo Wurmus
2020-01-04gnu: Add link-grammar.Ricardo Wurmus
2020-01-04gnu: Add cogserver.Ricardo Wurmus
2020-01-04gnu: Add atomspace.Ricardo Wurmus
2020-01-04gnu: Add cogutil.Ricardo Wurmus
2020-01-04gnu: nfs-utils: Update to 2.4.2.Ricardo Wurmus
2020-01-04gnu: swi-prolog: Update to 8.1.20.Brett Gilio
2020-01-04gnu: swi-prolog: Modify documentation installation.Brett Gilio
2020-01-04gnu: swi-prolog: Enable tests.Brett Gilio
2020-01-04gnu: Add jgmenu.Guillaume Le Vaillant
2020-01-03gnu: Add emacs-company-posframe.LaFreniere, Joseph
2020-01-03gnu: Add swi-prolog.Brett Gilio
2020-01-03gnu: gprolog: Use license prefix.Brett Gilio
2020-01-03Revert "gnu: Add swi-prolog."Brett Gilio
2020-01-03gnu: Add swi-prolog.Brett Gilio
2020-01-03gnu: Rename module gprolog to prolog.Brett Gilio
2020-01-03gnu: femtolisp: Update to 0.0.0-2.Brett Gilio
2020-01-04gnu: soundtouch: Update to 2.1.2.Tobias Geerinckx-Rice
2020-01-04gnu: doctest: Update to 2.3.6.Tobias Geerinckx-Rice
2020-01-04gnu: polybar: Update to 3.4.2.Tobias Geerinckx-Rice
2020-01-04gnu: libshout: Update to 2.4.3.Tobias Geerinckx-Rice
2020-01-04gnu: html-xml-utils: Update to 7.8.Tobias Geerinckx-Rice
2020-01-04gnu: mg: Use @command mark-up in description.Tobias Geerinckx-Rice
2020-01-03gnu: python-language-server: Update to 0.31.4.Brett Gilio
2020-01-03gnu: emacs-pyvenv: Update to 1.21.Brett Gilio
2020-01-03gnu: emacs-request: Disable tests.Brett Gilio
2020-01-03gnu: emacs-request: Update to 0.3.2.Brett Gilio
2020-01-03gnu: emacs-doom-themes: Add note about byte-compilation issue.Brett Gilio
2020-01-03gnu: Add ocaml-fftw3.Brett Gilio
2020-01-03gnu: Add ocaml-lacaml.Brett Gilio
2020-01-03gnu: ocaml-utop: Modify home-page.Brett Gilio
2020-01-03gnu: ocaml-utop: Update to 2.4.3.Brett Gilio
2020-01-03gnu: Add lean.Amin Bandali
2020-01-03gnu: Add cl-ana.Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.statistical-learning.Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-utils.Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-branch.Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-graphviz.Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-table.Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-progress.Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-block.Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres-macro.Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.makeres.Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.serialization.Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.table-viewing.Katherine Cox-Buday
2020-01-03gnu: Add cl-ana.plotting.Katherine Cox-Buday