summaryrefslogtreecommitdiff
path: root/gnu/packages
Commit message (Expand)AuthorAge
* gnu: linux-libre: Update to 5.4.8.Mark H Weaver2020-01-05
* gnu: linux-libre@4.19: Update to 4.19.93.Mark H Weaver2020-01-05
* gnu: linux-libre@4.14: Update to 4.14.162.Mark H Weaver2020-01-05
* gnu: linux-libre@4.9: Update to 4.9.208.Mark H Weaver2020-01-05
* gnu: linux-libre@4.4: Update to 4.4.208.Mark H Weaver2020-01-05
* gnu: guix: Update to f38eabe.Tobias Geerinckx-Rice2020-01-05
* gnu: dtc: Use Python 3 instead of Python 2.Björn Höfling2020-01-05
* gnu: ncompress: Update to 4.2.4.6.Tobias Geerinckx-Rice2020-01-05
* gnu: cppcheck: Update to 1.90.Tobias Geerinckx-Rice2020-01-05
* gnu: Add ode.Nicolas Goaziou2020-01-05
* gnu: Add libccd.Nicolas Goaziou2020-01-05
* gnu: Add xcur2png.Leo Prikler2020-01-05
* gnu: bitlbee: Use HTTPS home page.Timotej Lazar2020-01-05
* gnu: guile-hashing: Add variant for Guile 3.0.Ludovic Courtès2020-01-04
* gnu: Add guile-hashing.Ludovic Courtès2020-01-04
* gnu: Add cl-zpb-ttf.Ricardo Wurmus2020-01-04
* gnu: Add opencog.Ricardo Wurmus2020-01-04
* gnu: Add attention.Ricardo Wurmus2020-01-04
* gnu: Add link-grammar.Ricardo Wurmus2020-01-04
* gnu: Add cogserver.Ricardo Wurmus2020-01-04
* gnu: Add atomspace.Ricardo Wurmus2020-01-04
* gnu: Add cogutil.Ricardo Wurmus2020-01-04
* gnu: nfs-utils: Update to 2.4.2.Ricardo Wurmus2020-01-04
* gnu: swi-prolog: Update to 8.1.20.Brett Gilio2020-01-04
* gnu: swi-prolog: Modify documentation installation.Brett Gilio2020-01-04
* gnu: swi-prolog: Enable tests.Brett Gilio2020-01-04
* gnu: Add jgmenu.Guillaume Le Vaillant2020-01-04
* gnu: Add emacs-company-posframe.LaFreniere, Joseph2020-01-03
* gnu: Add swi-prolog.Brett Gilio2020-01-03
* gnu: gprolog: Use license prefix.Brett Gilio2020-01-03
* Revert "gnu: Add swi-prolog."Brett Gilio2020-01-03
* gnu: Add swi-prolog.Brett Gilio2020-01-03
* gnu: Rename module gprolog to prolog.Brett Gilio2020-01-03
* gnu: femtolisp: Update to 0.0.0-2.Brett Gilio2020-01-03
* gnu: soundtouch: Update to 2.1.2.Tobias Geerinckx-Rice2020-01-04
* gnu: doctest: Update to 2.3.6.Tobias Geerinckx-Rice2020-01-04
* gnu: polybar: Update to 3.4.2.Tobias Geerinckx-Rice2020-01-04
* gnu: libshout: Update to 2.4.3.Tobias Geerinckx-Rice2020-01-04
* gnu: html-xml-utils: Update to 7.8.Tobias Geerinckx-Rice2020-01-04
* gnu: mg: Use @command mark-up in description.Tobias Geerinckx-Rice2020-01-04
* gnu: python-language-server: Update to 0.31.4.Brett Gilio2020-01-03
* gnu: emacs-pyvenv: Update to 1.21.Brett Gilio2020-01-03
* gnu: emacs-request: Disable tests.Brett Gilio2020-01-03
* gnu: emacs-request: Update to 0.3.2.Brett Gilio2020-01-03
* gnu: emacs-doom-themes: Add note about byte-compilation issue.Brett Gilio2020-01-03
* gnu: Add ocaml-fftw3.Brett Gilio2020-01-03
* gnu: Add ocaml-lacaml.Brett Gilio2020-01-03
* gnu: ocaml-utop: Modify home-page.Brett Gilio2020-01-03
* gnu: ocaml-utop: Update to 2.4.3.Brett Gilio2020-01-03
* gnu: Add lean.Amin Bandali2020-01-03