Frank Pursel
|
882dad5085
|
gnu: Add xlispstat.
* gnu/packages/statistics.scm (xlispstat): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
|
2021-11-22 21:24:09 +01:00 |
|
jgart
|
6ac283bad7
|
gnu: Add cl-cmn.
* gnu/packages/lisp-xyz.scm (cl-cmn, sbcl-cmn, ecl-cmn): New variables.
Co-authored-by: Guillaume Le Vaillant <glv@posteo.net>
|
2021-11-22 20:42:15 +01:00 |
|
zimoun
|
cb296dfa2e
|
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>
|
2021-11-22 19:21:17 +01:00 |
|
pinoaffe
|
3d2e41adf2
|
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>
|
2021-11-22 17:29:42 +01:00 |
|
Leo Famulari
|
4df826f340
|
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.
|
2021-11-22 10:43:00 -05:00 |
|
Leo Famulari
|
5bff28e089
|
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.
|
2021-11-22 10:43:00 -05:00 |
|
Leo Famulari
|
36e2d993da
|
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.
|
2021-11-22 10:42:57 -05:00 |
|
Andreas Enge
|
e1dce8faf0
|
gnu: arb: Update to 2.21.1.
* gnu/packages/algebra.scm (arb): Update to 2.21.1.
|
2021-11-22 13:27:50 +01:00 |
|
Andreas Enge
|
7f4b31578d
|
gnu: flint: Update to 2.8.4.
* gnu/packages/algebra.scm (flint): Update to 2.8.4.
|
2021-11-22 13:27:50 +01:00 |
|
Andreas Enge
|
1d7e603a77
|
gnu: pari-gp: Update to 2.13.3.
* gnu/packages/algebra.scm (pari-gp): Update to 2.13.3.
|
2021-11-22 13:27:50 +01:00 |
|
Nicolas Goaziou
|
e5ac7670b1
|
gnu: emacs-form-feed: Update to 0.2.3.
* gnu/packages/emacs-xyz.scm (emacs-form-feed): Update to 0.2.3.
|
2021-11-22 11:50:54 +01:00 |
|
Charles
|
abd856b505
|
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>
|
2021-11-22 11:47:39 +01:00 |
|
Charles
|
e26a149e22
|
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>
|
2021-11-22 11:47:38 +01:00 |
|
Nicolas Goaziou
|
616216b0ad
|
gnu: emacs-eldev: Update to 0.10.1.
* gnu/packages/emacs-xyz.scm (emacs-eldev): Update to 0.10.1.
|
2021-11-22 11:43:08 +01:00 |
|
Nicolas Goaziou
|
3edadb4219
|
gnu: emacs-evil-multiedit: Update to 1.4.3.
* gnu/packages/emacs-xyz.scm (emacs-evil-multiedit): Update to 1.4.3.
|
2021-11-22 11:37:49 +01:00 |
|
Zzull
|
586a1ef971
|
gnu: Add lz4json.
* gnu/packages/gnuzilla.scm (lz4json): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
|
2021-11-22 11:21:30 +01:00 |
|
Olivier Dion
|
9d370029c2
|
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>
|
2021-11-21 21:32:22 -05:00 |
|
Olivier Dion
|
ea48a87f1f
|
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>
|
2021-11-21 21:32:19 -05:00 |
|
Olivier Dion
|
82f8ac4c29
|
gnu: Add babeltrace.
* gnu/packages/linux.scm (babeltrace): New variable.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
|
2021-11-21 20:46:59 -05:00 |
|
Julien Lepiller
|
24aa7b3c21
|
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.
|
2021-11-22 00:18:51 +01:00 |
|
Vinicius Monego
|
b2d8174400
|
gnu: Add qxmpp.
* gnu/packages/messaging.scm (qxmpp): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
|
2021-11-21 21:54:10 +01:00 |
|
jgart via Guix-patches via
|
97a8d0edda
|
gnu: Add devour.
* gnu/packages/wm.scm (devour): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
|
2021-11-21 21:43:39 +01:00 |
|
Milkey Mouse
|
9092b38651
|
gnu: Add libplacebo.
* gnu/packages/video.scm (libplacebo): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
|
2021-11-21 21:35:05 +01:00 |
|
Felix Gruber
|
16dda28fd7
|
gnu: sameboy: Update to 0.14.7.
* gnu/packages/emulators.scm (sameboy): Update to 0.14.7.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
|
2021-11-21 21:31:19 +01:00 |
|
Christopher Baines
|
80efc5d005
|
gnu: guix-build-coordinator: Update to 0-38.d46e9ac.
* gnu/packages/package-management.scm (guix-build-coordinator): Update to
0-38.d46e9ac.
|
2021-11-21 18:56:31 +00:00 |
|
Julien Lepiller
|
8b140f393e
|
gnu: ocaml-merlin-reader: Update to 4.3.1-411.
* gnu/packages/ocaml.scm (ocaml-merlin-reader): Update to 4.3.1-411.
|
2021-11-21 19:49:36 +01:00 |
|
Nicolas Goaziou
|
b1c2ad312d
|
gnu: emacs-citar: Update to 0.9.
* gnu/packages/emacs-xyz.scm (emacs-citar): Update to 0.9.
|
2021-11-21 19:30:05 +01:00 |
|
Julien Lepiller
|
63d8c7a82f
|
gnu: coq-stdpp: Update to 1.6.0.
* gnu/packages/coq.scm (coq-stdpp): Update to 1.6.0.
|
2021-11-21 19:27:13 +01:00 |
|
Julien Lepiller
|
07fc7046d2
|
gnu: coq-interval: Update to 4.3.1.
* gnu/packages/coq.scm (coq-interval): Update to 4.3.1.
|
2021-11-21 19:27:10 +01:00 |
|
Julien Lepiller
|
5bcf0101b2
|
gnu: coq-coquelicot: Update to 3.2.0.
* gnu/packages/coq.scm (coq-coquelicot): Update to 3.2.0.
|
2021-11-21 19:27:05 +01:00 |
|
Julien Lepiller
|
698e5c38b4
|
gnu: coq-mathcomp: Update to 1.13.0.
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.13.0.
|
2021-11-21 19:27:02 +01:00 |
|
Julien Lepiller
|
67fbcd437c
|
gnu: coq-gappa: Update to 1.5.0.
* gnu/packages/coq.scm (coq-gappa): Update to 1.5.0.
|
2021-11-21 19:26:57 +01:00 |
|
Julien Lepiller
|
45bc66dbe9
|
gnu: coq-flocq: Update to 3.4.2.
* gnu/packages/coq.scm (coq-flocq): Update to 3.4.2.
|
2021-11-21 19:26:26 +01:00 |
|
Julien Lepiller
|
29e9dc49cc
|
gnu: camlboot: Increase max-silent-time.
* gnu/packages/ocaml.scm (camlboot)[properties]: Set max-silent-time to
10 hours.
|
2021-11-21 16:20:57 +01:00 |
|
Liliana Marie Prikler
|
f0a30bf8aa
|
gnu: ibus-theme-tools: Do not delete check phase.
* gnu/packages/ibus.scm (ibus-theme-tools)[#:tests?]: Add with value #f and
an appropriate comment.
[#:phases]: Drop.
|
2021-11-21 15:17:32 +01:00 |
|
Songlin Jiang
|
6972c4f212
|
gnu: Add ibus-theme-tools.
* gnu/packages/ibus.scm (ibus-theme-tools): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
|
2021-11-21 15:10:39 +01:00 |
|
Songlin Jiang
|
7cc2f02281
|
gnu: Add gnome-shell-extension-customize-ibus.
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-customize-ibus): New
variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
|
2021-11-21 15:08:54 +01:00 |
|
Jaft
|
9bfbba8af5
|
gnu: Add gsimplecal.
* gnu/packages/calendar.scm (gsimplecal): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
|
2021-11-21 09:43:23 +01:00 |
|
Julien Lepiller
|
348f1f7cb5
|
gnu: camlboot: Update to latest commit.
* gnu/packages/ocaml.scm (camlboot): Update to latest commit.
|
2021-11-21 04:14:49 +01:00 |
|
Julien Lepiller
|
0846e7d326
|
gnu: Add ocaml-charinfo-width.
* gnu/packages/ocaml.scm (ocaml4.07-charinfo-width): Replace with...
(ocaml-charinfo-width): ...this. Use latest ocaml package.
|
2021-11-20 19:39:57 +01:00 |
|
Julien Lepiller
|
f9bf7de5b4
|
gnu: Add ocaml-gsl.
* gnu/packages/ocaml.scm (ocaml4.07-gsl): Replace with...
(ocaml-gsl): ...this. Use latest ocaml package.
(ocaml4.07-gsl-1): Adapt accordingly.
|
2021-11-20 19:39:54 +01:00 |
|
Julien Lepiller
|
0481810ebf
|
gnu: Add ocaml-fftw3.
* gnu/packages/ocaml.scm (ocaml4.07-fftw3): Replace with...
(ocaml-fftw3) ...this. Use latest ocaml package.
|
2021-11-20 19:39:52 +01:00 |
|
Julien Lepiller
|
e9d3f3656b
|
gnu: Add ocaml-lacaml.
* gnu/packages/ocaml.scm (ocaml4.07-lacaml): Replace with...
(ocaml-lacaml): ...this. Use latest ocaml package.
|
2021-11-20 19:39:25 +01:00 |
|
Leo Famulari
|
40239e23e8
|
gnu: linux-libre 5.10: Update to 5.10.80.
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.80.
(linux-libre-5.10-pristine-source): Update hash.
|
2021-11-20 13:15:11 -05:00 |
|
Leo Famulari
|
d2f5bc7da8
|
gnu: linux-libre: Update to 5.14.20.
* gnu/packages/linux.scm (linux-libre-5.14-version): Update to 5.14.20.
(linux-libre-5.14-pristine-source): Update hash.
|
2021-11-20 13:15:07 -05:00 |
|
Julien Lepiller
|
0a4656f1c1
|
gnu: ocaml-version: Update to 3.4.0.
* gnu/packages/ocaml.scm (ocaml-version): Update to 3.4.0.
|
2021-11-20 17:09:03 +01:00 |
|
Julien Lepiller
|
4378eb9a15
|
gnu: ocaml-tyxml: Update to 4.5.0.
* gnu/packages/ocaml.scm (ocaml-tyxml): Update to 4.5.0.
|
2021-11-20 17:08:55 +01:00 |
|
Julien Lepiller
|
c2242284ab
|
gnu: ocaml-topkg: Update to 1.0.4.
* gnu/packages/ocaml.scm (ocaml-topkg): Update to 1.0.4.
|
2021-11-20 17:08:50 +01:00 |
|
Julien Lepiller
|
972c6fe87b
|
gnu: ocaml-stdlib-shims: Update to 0.3.0.
* gnu/packages/ocaml.scm (ocaml-stdlib-shims): Update to 0.3.0.
|
2021-11-20 17:08:47 +01:00 |
|
Julien Lepiller
|
5a3fcf0cac
|
gnu: ocaml-sedlex: Update to 2.4.
* gnu/packages/ocaml.scm (ocaml-sedlex): Update to 2.4.
[native-inputs]: Remove ocamlbuild.
[propagated-inputs]: Remove ocaml-ppx-tools-versioned.
(ocaml4.07-sedlex)[propagated-inputs]: Add ocaml-ppx-tools-versioned.
|
2021-11-20 17:08:37 +01:00 |
|