summaryrefslogtreecommitdiff
path: root/gnu/packages
Commit message (Collapse)AuthorAge
* gnu: linux-libre: Update to 5.4.8.Mark H Weaver2020-01-05
| | | | | * gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.8. (linux-libre-5.4-pristine-source): Update hash.
* gnu: linux-libre@4.19: Update to 4.19.93.Mark H Weaver2020-01-05
| | | | | * gnu/packages/linux.scm (linux-libre-4.19-version): Update to 4.19.93. (linux-libre-4.19-pristine-source): Update hash.
* gnu: linux-libre@4.14: Update to 4.14.162.Mark H Weaver2020-01-05
| | | | | * gnu/packages/linux.scm (linux-libre-4.14-version): Update to 4.14.162. (linux-libre-4.14-pristine-source): Update hash.
* gnu: linux-libre@4.9: Update to 4.9.208.Mark H Weaver2020-01-05
| | | | | * gnu/packages/linux.scm (linux-libre-4.9-version): Update to 4.9.208. (linux-libre-4.9-pristine-source): Update hash.
* gnu: linux-libre@4.4: Update to 4.4.208.Mark H Weaver2020-01-05
| | | | | * gnu/packages/linux.scm (linux-libre-4.4-version): Update to 4.4.208. (linux-libre-4.4-pristine-source): Update hash.
* gnu: guix: Update to f38eabe.Tobias Geerinckx-Rice2020-01-05
| | | | * gnu/packages/package-management.scm (guix): Update to f38eabe.
* gnu: dtc: Use Python 3 instead of Python 2.Björn Höfling2020-01-05
| | | | * gnu/packages/bootloaders.scm (dtc)[inputs]: Use python instead of python-2.
* gnu: ncompress: Update to 4.2.4.6.Tobias Geerinckx-Rice2020-01-05
| | | | | * gnu/packages/compression.scm (ncompress): Update to 4.2.4.6. * gnu/packages/patches/ncompress-fix-softlinks.patch: Adjust.
* gnu: cppcheck: Update to 1.90.Tobias Geerinckx-Rice2020-01-05
| | | | * gnu/packages/check.scm (cppcheck): Update to 1.90.
* gnu: Add ode.Nicolas Goaziou2020-01-05
| | | | * gnu/packages/game-development.scm (ode): New variable.
* gnu: Add libccd.Nicolas Goaziou2020-01-05
| | | | * gnu/packages/game-development.scm (libccd): New variable.
* gnu: Add xcur2png.Leo Prikler2020-01-05
| | | | * gnu/packages/xorg.scm (xcur2png): New variable.
* gnu: bitlbee: Use HTTPS home page.Timotej Lazar2020-01-05
| | | | * gnu/packages/messaging.scm (bitlbee)[home-page]: Use HTTPS.
* gnu: guile-hashing: Add variant for Guile 3.0.Ludovic Courtès2020-01-04
| | | | * gnu/packages/guile-xyz.scm (guile3.0-hashing): New variable.
* gnu: Add guile-hashing.Ludovic Courtès2020-01-04
| | | | * gnu/packages/guile-xyz.scm (guile-hashing): New variable.
* gnu: Add cl-zpb-ttf.Ricardo Wurmus2020-01-04
| | | | | * gnu/packages/lisp-xyz.scm (sbcl-zpb-ttf, ecl-zpb-ttf, cl-zpb-ttf): New variables.
* gnu: Add opencog.Ricardo Wurmus2020-01-04
| | | | * gnu/packages/opencog.scm (opencog): New variable.
* gnu: Add attention.Ricardo Wurmus2020-01-04
| | | | * gnu/packages/opencog.scm (attention): New variable.
* gnu: Add link-grammar.Ricardo Wurmus2020-01-04
| | | | * gnu/packages/language.scm (link-grammar): New variable.
* gnu: Add cogserver.Ricardo Wurmus2020-01-04
| | | | * gnu/packages/opencog.scm (cogserver): New variable.
* gnu: Add atomspace.Ricardo Wurmus2020-01-04
| | | | * gnu/packages/opencog.scm (atomspace): New variable.
* gnu: Add cogutil.Ricardo Wurmus2020-01-04
| | | | | * gnu/packages/opencog.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
* gnu: nfs-utils: Update to 2.4.2.Ricardo Wurmus2020-01-04
| | | | | | | | | | * 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: swi-prolog: Update to 8.1.20.Brett Gilio2020-01-04
| | | | * gnu/packages/prolog.scm (swi-prolog): Update to 8.1.20.
* gnu: swi-prolog: Modify documentation installation.Brett Gilio2020-01-04
| | | | | * gnu/packages/prolog.scm (swi-prolog)[arguments]: Remove configuration step for PDF documentation.
* gnu: swi-prolog: Enable tests.Brett Gilio2020-01-04
| | | | | | * 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: Add jgmenu.Guillaume Le Vaillant2020-01-04
| | | | * gnu/packages/xdisorg.scm (jgmenu): New variable.
* gnu: Add emacs-company-posframe.LaFreniere, Joseph2020-01-03
| | | | | | * gnu/packages/emacs-xyz.scm (emacs-company-posframe): New variable. Signed-off-by: Brett Gilio <brettg@gnu.org>
* gnu: Add swi-prolog.Brett Gilio2020-01-03
| | | | * gnu/packages/prolog.scm (swi-prolog): New variable.
* gnu: gprolog: Use license prefix.Brett Gilio2020-01-03
| | | | * gnu/packages/prolog.scm (gprolog)[license]: Use prefix for list of licenses.
* Revert "gnu: Add swi-prolog."Brett Gilio2020-01-03
| | | | This reverts commit 3f37f3909712eb7269b6e8184c0d61bfc61b67f9.
* gnu: Add swi-prolog.Brett Gilio2020-01-03
| | | | * gnu/packages/prolog.scm (swi-prolog): New variable.
* gnu: Rename module gprolog to prolog.Brett Gilio2020-01-03
| | | | | | * 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: femtolisp: Update to 0.0.0-2.Brett Gilio2020-01-03
| | | | | * gnu/packages/scheme.scm (femtolisp): Update to 0.0.0-2. This commit revision patches several bugs.
* gnu: soundtouch: Update to 2.1.2.Tobias Geerinckx-Rice2020-01-04
| | | | * gnu/packages/audio.scm (soundtouch): Update to 2.1.2.
* gnu: doctest: Update to 2.3.6.Tobias Geerinckx-Rice2020-01-04
| | | | * gnu/packages/check.scm (doctest): Update to 2.3.6.
* gnu: polybar: Update to 3.4.2.Tobias Geerinckx-Rice2020-01-04
| | | | * gnu/packages/wm.scm (polybar): Update to 3.4.2.
* gnu: libshout: Update to 2.4.3.Tobias Geerinckx-Rice2020-01-04
| | | | * gnu/packages/xiph.scm (libshout): Update to 2.4.3.
* gnu: html-xml-utils: Update to 7.8.Tobias Geerinckx-Rice2020-01-04
| | | | * gnu/packages/xml.scm (html-xml-utils): Update to 7.8.
* gnu: mg: Use @command mark-up in description.Tobias Geerinckx-Rice2020-01-04
| | | | * gnu/packages/text-editors.scm (mg)[description]: Use @command.
* gnu: python-language-server: Update to 0.31.4.Brett Gilio2020-01-03
| | | | * gnu/packages/python-xyz.scm (python-language-server): Update to 0.31.4.
* gnu: emacs-pyvenv: Update to 1.21.Brett Gilio2020-01-03
| | | | * gnu/packages/emacs-xyz.scm (emacs-pyvenv): Update to 1.21.
* gnu: emacs-request: Disable tests.Brett Gilio2020-01-03
| | | | | * gnu/packages/emacs-xyz.scm (emacs-request)[arguments]: Disabling test phase as it checks for network access.
* gnu: emacs-request: Update to 0.3.2.Brett Gilio2020-01-03
| | | | * gnu/packages/emacs-xyz.scm (emacs-request): Update to 0.3.2.
* gnu: emacs-doom-themes: Add note about byte-compilation issue.Brett Gilio2020-01-03
| | | | | | | * 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: Add ocaml-fftw3.Brett Gilio2020-01-03
| | | | * gnu/packages/ocaml.scm (ocaml-fftw3): New variable.
* gnu: Add ocaml-lacaml.Brett Gilio2020-01-03
| | | | * gnu/packages/ocaml.scm (ocaml-lacaml): New variable.
* gnu: ocaml-utop: Modify home-page.Brett Gilio2020-01-03
| | | | | * gnu/packages/ocaml.scm (ocaml-utop)[home-page]: Change home-page to reflect permanent redirection.
* gnu: ocaml-utop: Update to 2.4.3.Brett Gilio2020-01-03
| | | | * gnu/packages/ocaml.scm (ocaml-utop): Update to 2.4.3.
* gnu: Add lean.Amin Bandali2020-01-03
| | | | | | | * gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm. * gnu/packages/lean.scm: New file. Signed-off-by: Brett Gilio <brettg@gnu.org>