~ruther/guix-local

4c1dff9a — Petr Hodina 4 years ago 
gnu: opencascade-occt: Update to 7.6.0.

* gnu/packages/maths.scm (opencascade-occt): Update to 7.6.0.
  [native-inputs]: Add fontconfig.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
6baf2177 — Ricardo Wurmus 4 years ago 
gnu: Add r-torch.

* gnu/packages/cran.scm (r-torch): New variable.
7146e553 — Ricardo Wurmus 4 years ago 
gnu: Add liblantern.

* gnu/packages/machine-learning.scm (liblantern): New variable.
7b676317 — Ricardo Wurmus 4 years ago 
gnu: Add python-pytorch-for-r-torch.

* gnu/packages/patches/python-pytorch-1.9.0-system-libraries.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/machine-learning.scm (python-pytorch-for-r-torch): New variable.
8b787eb9 — Ricardo Wurmus 4 years ago 
gnu: python-pytorch: Update to 1.10.2.

* gnu/packages/machine-learning.scm (python-pytorch): Update to 1.10.2.
6f4f04a8 — Ricardo Wurmus 4 years ago 
gnu: Add r-coro.

* gnu/packages/cran.scm (r-coro): New variable.
4ba7aab9 — jgart 4 years ago 
gnu: Add cl-hamcrest.

* gnu/packages/lisp-check.scm (cl-hamcrest, ecl-hamcrest, sbcl-hamcrest): New
  variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
a4667135 — Jonathan Brielmaier 4 years ago 
gnu: icedove: Update to 91.6.

* gnu/packages/gnuzilla.scm (icedove): Update to 91.6.
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>
Next