~ruther/guix-local

adccd1e0 — Pierre Neidhardt 4 years ago 
gnu: Add nfiles.

* gnu/packages/lisp-xyz.scm (cl-nfiles, ecl-nfiles, sbcl-nfiles): New variables.
58ab579a — Julien Lepiller 4 years ago 
gnu: coq-stdpp: Update to 1.7.0.

* gnu/packages/coq.scm (coq-stdpp): Update to 1.7.0.
74a1e537 — Julien Lepiller 4 years ago 
gnu: coq-mathcomp: Update to 1.14.0.

* gnu/packages/coq.scm (coq-mathcomp): Update to 1.14.0.
5179f452 — Julien Lepiller 4 years ago 
gnu: coq: Update to 8.15.0.

* gnu/packages/coq.scm (coq): Update to 8.15.0.
(coq-equations): Update to 1.3-8.15.
* gnu/packages/patches/coq-fix-envvars.patch: Adapt to new version.
6b6474fe — Julien Lepiller 4 years ago 
gnu: coq-interval: Update to 4.4.0.

* gnu/packages/coq.scm (coq-interval): Update to 4.4.0.
238a900b — Julien Lepiller 4 years ago 
gnu: coq-bignums: Update to 8.15.0.

* gnu/packages/coq.scm (coq-bignums): Update to 8.15.0.
575c4ad5 — Julien Lepiller 4 years ago 
gnu: coq-gappa: Update to 1.5.1.

* gnu/packages/coq.scm (coq-gappa): Update to 1.5.1.
8a338de2 — Julien Lepiller 4 years ago 
gnu: coq-flocq: Update to 4.0.0.

* gnu/packages/coq.scm (coq-flocq): Update to 4.0.0.
e32ea56f — Nicolas Goaziou 4 years ago 
gnu: emacs-orgit: Update to 1.8.0.

* gnu/packages/emacs-xyz.scm (emacs-orgit): Update to 1.8.0.
03833d04 — Nicolas Goaziou 4 years ago 
gnu: wireshark: Update to 3.6.2.

* gnu/packages/networking.scm (wireshark): Update to 3.6.2.
b8994272 — Eric Bavier 4 years ago 
gnu: pioneer: Update to 20220203.

* gnu/packages/games.scm (pioneer): Update to 20220203.
[arguments]: Add cmake flag to ensure system GLEW is used.
854e38ee — Adam Maleszka 4 years ago 
gnu: bitlbee-discord: Update to 0.4.3-1.607f988.

Fixes <https://issues.guix.gnu.org/53840>.

* gnu/packages/messaging.scm (bitlbee-discord): Update to
0.4.3-1.607f988.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
d76cfc92 — Greg Hogan 4 years ago 
gnu: LLVM: Support release candidates as version.

* gnu/packages/llvm.scm (llvm-uri, clang-from-llvm):
Support release candidates as version.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
ed26d2ec — Greg Hogan 4 years ago 
gnu: lldb: Update to 13.0.1.

* gnu/packages/llvm.scm (lldb): Update to 13.0.1.
[inputs]: Change from LLVM-12 and CLANG-12 to LLVM-13 and CLANG-13.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
11b586db — Josselin Poiret 4 years ago 
services: gdm-service-type: Require elogind.

* gnu/services/xorg.scm (gdm-shepherd-service): Make it require
elogind.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
7c9b811d — Simon South 4 years ago 
gnu: ell: Disable parallel tests.

* gnu/packages/linux.scm (ell)[arguments]: Disable parallel tests.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
0e103ec6 — Nicolas Goaziou 4 years ago 
gnu: flare-game: Update to 1.13.04.

* gnu/packages/games.scm (flare-game): Update to 1.13.04.
096f0504 — Nicolas Goaziou 4 years ago 
gnu: flare-engine: Update to 1.13.04.

* gnu/packages/games.scm (flare-engine): Update to 1.13.04.
62c2991c — jgart 4 years ago 
gnu: cl-numcl: Update to 0.2.0-3.a28f612.

* gnu/packages/lisp-xyz.scm (sbcl-numcl): Update to 0.2.0-3.a28f612.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
ceaf56e1 — jgart 4 years ago 
gnu: Add cl-asd-generator.

* gnu/packages/lisp-xyz.scm (cl-asd-generator, ecl-asd-generator,
  sbcl-asd-generator): New variable.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
Next