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