| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 Weaver | 2020-01-05 | 1 | -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 Weaver | 2020-01-05 | 1 | -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 Weaver | 2020-01-05 | 1 | -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 Weaver | 2020-01-05 | 1 | -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 Weaver | 2020-01-05 | 1 | -2/+2 |
* | gnu: guix: Update to f38eabe.•••* gnu/packages/package-management.scm (guix): Update to f38eabe.
| Tobias Geerinckx-Rice | 2020-01-05 | 1 | -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öfling | 2020-01-05 | 1 | -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-Rice | 2020-01-05 | 2 | -6/+7 |
* | gnu: cppcheck: Update to 1.90.•••* gnu/packages/check.scm (cppcheck): Update to 1.90.
| Tobias Geerinckx-Rice | 2020-01-05 | 1 | -2/+2 |
* | gnu: Add ode.•••* gnu/packages/game-development.scm (ode): New variable.
| Nicolas Goaziou | 2020-01-05 | 1 | -0/+42 |
* | gnu: Add libccd.•••* gnu/packages/game-development.scm (libccd): New variable.
| Nicolas Goaziou | 2020-01-05 | 1 | -0/+31 |
* | gnu: Add xcur2png.•••* gnu/packages/xorg.scm (xcur2png): New variable.
| Leo Prikler | 2020-01-05 | 1 | -0/+27 |
* | gnu: bitlbee: Use HTTPS home page.•••* gnu/packages/messaging.scm (bitlbee)[home-page]: Use HTTPS.
| Timotej Lazar | 2020-01-05 | 1 | -2/+2 |
* | gnu: guile-hashing: Add variant for Guile 3.0.•••* gnu/packages/guile-xyz.scm (guile3.0-hashing): New variable.
| Ludovic Courtès | 2020-01-04 | 1 | -1/+8 |
* | gnu: Add guile-hashing.•••* gnu/packages/guile-xyz.scm (guile-hashing): New variable.
| Ludovic Courtès | 2020-01-04 | 1 | -0/+51 |
* | gnu: Add cl-zpb-ttf.•••* gnu/packages/lisp-xyz.scm (sbcl-zpb-ttf, ecl-zpb-ttf, cl-zpb-ttf): New
variables.
| Ricardo Wurmus | 2020-01-04 | 1 | -1/+30 |
* | gnu: Add opencog.•••* gnu/packages/opencog.scm (opencog): New variable.
| Ricardo Wurmus | 2020-01-04 | 1 | -0/+53 |
* | gnu: Add attention.•••* gnu/packages/opencog.scm (attention): New variable.
| Ricardo Wurmus | 2020-01-04 | 1 | -0/+45 |
* | gnu: Add link-grammar.•••* gnu/packages/language.scm (link-grammar): New variable.
| Ricardo Wurmus | 2020-01-04 | 1 | -0/+25 |
* | gnu: Add cogserver.•••* gnu/packages/opencog.scm (cogserver): New variable.
| Ricardo Wurmus | 2020-01-04 | 1 | -0/+43 |
* | gnu: Add atomspace.•••* gnu/packages/opencog.scm (atomspace): New variable.
| Ricardo Wurmus | 2020-01-04 | 1 | -0/+49 |
* | gnu: Add cogutil.•••* gnu/packages/opencog.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
| Ricardo Wurmus | 2020-01-04 | 1 | -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 Wurmus | 2020-01-04 | 2 | -39/+25 |
* | gnu: swi-prolog: Update to 8.1.20.•••* gnu/packages/prolog.scm (swi-prolog): Update to 8.1.20.
| Brett Gilio | 2020-01-04 | 1 | -2/+2 |
* | gnu: swi-prolog: Modify documentation installation.•••* gnu/packages/prolog.scm (swi-prolog)[arguments]: Remove configuration step
for PDF documentation.
| Brett Gilio | 2020-01-04 | 1 | -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 Gilio | 2020-01-04 | 1 | -1/+27 |
* | gnu: Add jgmenu.•••* gnu/packages/xdisorg.scm (jgmenu): New variable.
| Guillaume Le Vaillant | 2020-01-04 | 1 | -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, Joseph | 2020-01-03 | 1 | -0/+29 |
* | gnu: Add swi-prolog.•••* gnu/packages/prolog.scm (swi-prolog): New variable.
| Brett Gilio | 2020-01-03 | 1 | -0/+57 |
* | gnu: gprolog: Use license prefix.•••* gnu/packages/prolog.scm (gprolog)[license]: Use prefix for list of licenses.
| Brett Gilio | 2020-01-03 | 1 | -2/+3 |
* | Revert "gnu: Add swi-prolog."•••This reverts commit 3f37f3909712eb7269b6e8184c0d61bfc61b67f9.
| Brett Gilio | 2020-01-03 | 1 | -43/+0 |
* | gnu: Add swi-prolog.•••* gnu/packages/prolog.scm (swi-prolog): New variable.
| Brett Gilio | 2020-01-03 | 1 | -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 Gilio | 2020-01-03 | 1 | -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 Gilio | 2020-01-03 | 1 | -3/+3 |
* | gnu: soundtouch: Update to 2.1.2.•••* gnu/packages/audio.scm (soundtouch): Update to 2.1.2.
| Tobias Geerinckx-Rice | 2020-01-04 | 1 | -3/+3 |
* | gnu: doctest: Update to 2.3.6.•••* gnu/packages/check.scm (doctest): Update to 2.3.6.
| Tobias Geerinckx-Rice | 2020-01-04 | 1 | -3/+3 |
* | gnu: polybar: Update to 3.4.2.•••* gnu/packages/wm.scm (polybar): Update to 3.4.2.
| Tobias Geerinckx-Rice | 2020-01-04 | 1 | -3/+3 |
* | gnu: libshout: Update to 2.4.3.•••* gnu/packages/xiph.scm (libshout): Update to 2.4.3.
| Tobias Geerinckx-Rice | 2020-01-04 | 1 | -3/+3 |
* | gnu: html-xml-utils: Update to 7.8.•••* gnu/packages/xml.scm (html-xml-utils): Update to 7.8.
| Tobias Geerinckx-Rice | 2020-01-04 | 1 | -4/+3 |
* | gnu: mg: Use @command mark-up in description.•••* gnu/packages/text-editors.scm (mg)[description]: Use @command.
| Tobias Geerinckx-Rice | 2020-01-04 | 1 | -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 Gilio | 2020-01-03 | 1 | -3/+3 |
* | gnu: emacs-pyvenv: Update to 1.21.•••* gnu/packages/emacs-xyz.scm (emacs-pyvenv): Update to 1.21.
| Brett Gilio | 2020-01-03 | 1 | -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 Gilio | 2020-01-03 | 1 | -0/+2 |
* | gnu: emacs-request: Update to 0.3.2.•••* gnu/packages/emacs-xyz.scm (emacs-request): Update to 0.3.2.
| Brett Gilio | 2020-01-03 | 1 | -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 Gilio | 2020-01-03 | 1 | -0/+4 |
* | gnu: Add ocaml-fftw3.•••* gnu/packages/ocaml.scm (ocaml-fftw3): New variable.
| Brett Gilio | 2020-01-03 | 1 | -0/+33 |
* | gnu: Add ocaml-lacaml.•••* gnu/packages/ocaml.scm (ocaml-lacaml): New variable.
| Brett Gilio | 2020-01-03 | 1 | -0/+33 |
* | gnu: ocaml-utop: Modify home-page.•••* gnu/packages/ocaml.scm (ocaml-utop)[home-page]: Change home-page to reflect
permanent redirection.
| Brett Gilio | 2020-01-03 | 1 | -1/+1 |
* | gnu: ocaml-utop: Update to 2.4.3.•••* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.4.3.
| Brett Gilio | 2020-01-03 | 1 | -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 Bandali | 2020-01-03 | 1 | -0/+65 |