~ruther/guix-local

cb296dfa — zimoun 4 years ago 
gnu: proof-general: Adjust autoloads for Emacs.

Fixes <https://bugs.gnu.org/46016>.

* gnu/packages/coq.scm (proof-general)[native-inputs]: Remove 'which'.
[inputs]: Remove 'coq' and 'emacs'.
[arguments]<#:make-flags>: Adjust to find 'emacs'.
Set 'ELISP' and 'DEST_LISP'.
<#:modules, #:imported-modules>: Remove.
<#:phases>: Remove call to 'which' in Makefile.
Add copy file allowing Emacs autoloads.
Clean unnecessary code.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
3d2e41ad — pinoaffe 4 years ago 
gnu: emacs-ryo-modal: Update to 0.45.

* gnu/packages/emacs-xyz.scm (emacs-ryo-modal): Update to 0.45.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
4df826f3 — Leo Famulari 4 years ago 
gnu: linux-libre 5.4: Update to 5.4.161.

* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.161.
(linux-libre-5.4-pristine-source): Update hash.
5bff28e0 — Leo Famulari 4 years ago 
gnu: linux-libre 5.10: Update to 5.10.81.

* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.81.
(linux-libre-5.10-pristine-source): Update hash.
36e2d993 — Leo Famulari 4 years ago 
gnu: linux-libre: Update to 5.14.21.

* gnu/packages/linux.scm (linux-libre-5.14-version): Update to 5.14.21.
(linux-libre-5.14-pristine-source): Update hash.
e1dce8fa — Andreas Enge 4 years ago 
gnu: arb: Update to 2.21.1.

* gnu/packages/algebra.scm (arb): Update to 2.21.1.
7f4b3157 — Andreas Enge 4 years ago 
gnu: flint: Update to 2.8.4.

* gnu/packages/algebra.scm (flint): Update to 2.8.4.
1d7e603a — Andreas Enge 4 years ago 
gnu: pari-gp: Update to 2.13.3.

* gnu/packages/algebra.scm (pari-gp): Update to 2.13.3.
e5ac7670 — Nicolas Goaziou 4 years ago 
gnu: emacs-form-feed: Update to 0.2.3.

* gnu/packages/emacs-xyz.scm (emacs-form-feed): Update to 0.2.3.
abd856b5 — Charles 4 years ago 
gnu: cl-portal: Update to 1.2.

* gnu/packages/lisp-xyz.scm (sbcl-portal): Update to 1.2.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
e26a149e — Charles 4 years ago 
gnu: cl-yxorp: Update to 0.2.

* gnu/packages/lisp-xyz.scm (sbcl-yxorp): Update to 0.2.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
616216b0 — Nicolas Goaziou 4 years ago 
gnu: emacs-eldev: Update to 0.10.1.

* gnu/packages/emacs-xyz.scm (emacs-eldev): Update to 0.10.1.
3edadb42 — Nicolas Goaziou 4 years ago 
gnu: emacs-evil-multiedit: Update to 1.4.3.

* gnu/packages/emacs-xyz.scm (emacs-evil-multiedit): Update to 1.4.3.
586a1ef9 — Zzull 4 years ago 
gnu: Add lz4json.

* gnu/packages/gnuzilla.scm (lz4json): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
9d370029 — Olivier Dion 4 years ago 
gnu: lttng-tools: Update to 2.13.1.

* gnu/packages/linux.scm (lttng-tools): Bump version.

Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
ea48a87f — Olivier Dion 4 years ago 
gnu: lttng-ust: Update to 2.13.0.

* gnu/packages/linux.scm (lttng-ust): Bump version.
[native-inputs]: Add pkg-config.

Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
82f8ac4c — Olivier Dion 4 years ago 
gnu: Add babeltrace.

* gnu/packages/linux.scm (babeltrace): New variable.

Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
24aa7b3c — Julien Lepiller 4 years ago 
import: opam: Fix error on unknown field value.

* guix/import/opam.scm (metadata-ref): Return #f if field is present,
but its content is of unknown form.
b2d81744 — Vinicius Monego 4 years ago 
gnu: Add qxmpp.

* gnu/packages/messaging.scm (qxmpp): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
97a8d0ed — jgart via Guix-patches via 4 years ago 
gnu: Add devour.

* gnu/packages/wm.scm (devour): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Next